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/riscos/gui.c | |
| parent | ec94d5f812723c586b26d4c1700b641e5cb2f7a0 (diff) | |
| download | netsurf-8123e65351788fa633962c4f5e1bb41f1ef346e2.tar.gz | |
Finalise nslog layer properly in closedown
Diffstat (limited to 'frontends/riscos/gui.c')
| -rw-r--r-- | frontends/riscos/gui.c | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/frontends/riscos/gui.c b/frontends/riscos/gui.c index 9d651bc10..cfc513f72 100644 --- a/frontends/riscos/gui.c +++ b/frontends/riscos/gui.c @@ -2557,5 +2557,8 @@ int main(int argc, char** argv) netsurf_exit(); nsoption_finalise(nsoptions, nsoptions_default); + /* finalise logging */ + nslog_finalise(); + return 0; } |