diff options
| author | Maxime Coste <frrrwww@gmail.com> | 2014-01-27 19:53:17 +0000 |
|---|---|---|
| committer | Maxime Coste <frrrwww@gmail.com> | 2014-01-27 19:53:17 +0000 |
| commit | a6d14cecbe1f78802bc22b8a0ad633bc24aab2fc (patch) | |
| tree | f500c43404138e5ea0c9e79567f3dce63334dcd4 /src/main.cc | |
| parent | bbf48e1d39d34b02c54f7b5104b0ff17dff3d7b5 (diff) | |
Remove session socket on error signal
Diffstat (limited to 'src/main.cc')
| -rw-r--r-- | src/main.cc | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/src/main.cc b/src/main.cc index 721ee933..fb2b2307 100644 --- a/src/main.cc +++ b/src/main.cc @@ -203,6 +203,8 @@ void signal_handler(int signal) case SIGTERM: text = "SIGTERM"; break; } on_assert_failed(text); + if (Server::has_instance()) + Server::instance().close_session(); abort(); } |