rasserver extra option in rasmgr.conf is not used by rasmgr

[Dimitar Misev]

To reproduce:
in rasmgr.conf, append some rasserver options after -xp on the change lines; for example, specify a new default tilesize:

change srv N1 -countdown 20000 -autorestart on -xp --timeout 30000 --tilesize 8388608

The rasserver options that can be specified here can be seen with rasserver -h.

After changing rasmgr.conf, restart rasdaman. It can be checked with ps that the -xp options has not been passed to the rasserver processes, e.g. no sign of —tilesize:

ps aux | grep rasserver
.../bin/rasserver --lport 7002 --serverId ce886534-960f-43db-82fa-fd4cda54a0c0 
   --mgr localhost --rsn ce886534-960f-43db-82fa-fd4cda54a0c0 
   --mgrport 7001 --connect /d/rasdata/RASBASE

This can be also verified in the rasserver logs, which still print

Tile size set to : 4194304