Fix for issue #553, As described in Neil's comments, stop-ds can now read a...

lutoff

27.05.2007 f9ee8b19aaccbeed8a937b6030625c013d4cb633

 opends/resource/config/tools.properties

@@ -46,3 +46,8 @@
# the default value for the "port" argument defined
# above. 
# dsframework.port=1389

# Default stop-ds argument values. This overrides
# the default value for the "port" argument defined
# above. 
# stop-ds.port=1389