add server term signal handler