1 files changed, 0 insertions, 4 deletions

diff --git a/os/error.c b/os/error.c
index d868ede..2ab84f6 100644
--- a/os/error.c
+++ b/os/error.c
@@ -71,11 +71,7 @@ abort_server(void)
 {
     fflush(stderr);
 
-#ifdef SABER
-    saber_stop();
-#else
     _exit(1);
-#endif
 }
 
 void