change default time interval for ServerRestartTrick to 0.2, and also make it configurable