never set an expired cookie; on logout, re-login as guest
[disorder] / server / state.c
index 66760f0..d6b6699 100644 (file)
@@ -36,6 +36,7 @@
 
 #include "event.h"
 #include "play.h"
+#include "rights.h"
 #include "trackdb.h"
 #include "state.h"
 #include "configuration.h"
@@ -57,7 +58,7 @@ void quit(ev_source *ev) {
   trackdb_close();
   trackdb_deinit();
   info("terminating");
-  _exit(0);
+  exit(0);
 }
 
 static void reset_socket(ev_source *ev) {