chore(servers): set server ports in service script

Author: ChristopheMaldivi

debian/clustering-server-init-d

@@ -15,14 +15,15 @@ fi
 # Author: Christophe Maldivi <christophe.maldivi@orange.com>
 
 SERVICE_NAME=ClusteringServer
+SERVER_PORT=1958
 PATH_TO_JAR=/usr/share/java/clustering-server.jar
 PID_PATH_NAME=/tmp/$SERVICE_NAME-pid
 
 case $1 in
  start)
  echo "Starting $SERVICE_NAME ..."
  if [ ! -f $PID_PATH_NAME ]; then
- nohup java -jar $PATH_TO_JAR 2>> /dev/null >> /dev/null &
+ nohup java -jar $PATH_TO_JAR --server.port=$SERVER_PORT 2>> /dev/null >> /dev/null &
  echo $! > $PID_PATH_NAME
  echo "$SERVICE_NAME started ..."
  else

debian/mediation-server-init-d

@@ -15,14 +15,15 @@ fi
 # Author: Christophe Maldivi <christophe.maldivi@orange.com>
 
 SERVICE_NAME=MediationServer
+SERVER_PORT=2407
 PATH_TO_JAR=/usr/share/java/mediation-server.jar
 PID_PATH_NAME=/tmp/$SERVICE_NAME-pid
 
 case $1 in
  start)
  echo "Starting $SERVICE_NAME ..."
  if [ ! -f $PID_PATH_NAME ]; then
- nohup java -jar $PATH_TO_JAR 2>> /dev/null >> /dev/null &
+ nohup java -jar $PATH_TO_JAR --server.port=$SERVER_PORT 2>> /dev/null >> /dev/null &
  echo $! > $PID_PATH_NAME
  echo "$SERVICE_NAME started ..."
  else