[ci skip] merge dev
use script for both start and stop ... pid files go into GEMSTONE_LOGDIR