diff options
| -rw-r--r-- | server/src/server.cc | 8 | 
1 files changed, 6 insertions, 2 deletions
| diff --git a/server/src/server.cc b/server/src/server.cc index 1b2a05c..b9b3743 100644 --- a/server/src/server.cc +++ b/server/src/server.cc @@ -60,6 +60,7 @@  #include "templatelist.h"  #include "versionstr.h"  #include "mutex.h" +#include "log.h"  typedef long long unsigned int sessionid_t; @@ -496,8 +497,11 @@ void server()    while(pracro_is_running) sleep(1);    if(!forceshutdown && conn.sessions.size() != 0) { -    PRACRO_ERR_LOG(server, "There are %d live sesions." -                   " Kill again to force shutdown.\n", conn.sessions.size()); +    char errbuf[128]; +    snprintf(errbuf, sizeof(errbuf), "There are %d live sessions." +             " Kill again to force shutdown.\n", conn.sessions.size());  +    PRACRO_ERR_LOG(server, errbuf); +    log(errbuf);      pracro_is_running = true;      forceshutdown = true;      goto again; | 
