bison server add Shutdown Hook