diff options
author | Daniel Silverstone <dsilvers@digital-scurf.org> | 2017-09-10 14:22:05 +0100 |
---|---|---|
committer | Daniel Silverstone <dsilvers@digital-scurf.org> | 2017-09-10 14:22:05 +0100 |
commit | 8123e65351788fa633962c4f5e1bb41f1ef346e2 (patch) | |
tree | 94a03b6da798aeca180226a9b4adfd34bfd8b274 /frontends/atari/gui.c | |
parent | ec94d5f812723c586b26d4c1700b641e5cb2f7a0 (diff) | |
download | netsurf-8123e65351788fa633962c4f5e1bb41f1ef346e2.tar.gz netsurf-8123e65351788fa633962c4f5e1bb41f1ef346e2.tar.bz2 |
Finalise nslog layer properly in closedown
Diffstat (limited to 'frontends/atari/gui.c')
-rw-r--r-- | frontends/atari/gui.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/frontends/atari/gui.c b/frontends/atari/gui.c index a400285d3..6ee63b301 100644 --- a/frontends/atari/gui.c +++ b/frontends/atari/gui.c @@ -1225,6 +1225,10 @@ int main(int argc, char** argv) fclose(stderr); #endif NSLOG(netsurf, INFO, "exit_gem"); + + /* finalise logging */ + nslog_finalise(); + exit_gem(); return 0; |