Improve script portability

This commit is contained in:
Manuel Pégourié-Gonnard 2015-01-22 10:24:59 +00:00
parent 51d81661dc
commit dc370e4969

View file

@ -372,7 +372,7 @@ fi
# Pick a "unique" port in the range 10000-19999.
PORT="0000$$"
PORT="1$(echo $PORT | tail -c 5)"
PORT="1$( printf $PORT | tail -c 4 )"
# fix commands to use this port
P_SRV="$P_SRV server_port=$PORT"