diff options
author | waker <wakeroid@gmail.com> | 2010-11-20 11:50:11 +0100 |
---|---|---|
committer | waker <wakeroid@gmail.com> | 2010-11-20 11:50:11 +0100 |
commit | 5a5025ff2086e01c2f0164d9c9bb1b3e20a279d1 (patch) | |
tree | ecdb74e123f1f32f993c0547368af6088a2fc310 /main.c | |
parent | 21e46269269b82e756fef0051e0953c52d6be3ca (diff) | |
parent | 4f4cf2190aef650ad6e93a9ad86ed0207101f0a7 (diff) |
Merge branch 'master' into static
Conflicts:
plugins/artwork/artwork.c
plugins/gtkui/coverart.c
Diffstat (limited to 'main.c')
-rw-r--r-- | main.c | 7 |
1 files changed, 6 insertions, 1 deletions
@@ -431,8 +431,8 @@ player_mainloop (void) { } } +#if 0 static int sigterm_handled = 0; - void atexit_handler (void) { fprintf (stderr, "atexit_handler\n"); @@ -451,6 +451,7 @@ sigterm_handler (int sig) { fprintf (stderr, "bye.\n"); exit (0); } +#endif #ifdef __linux__ void @@ -758,8 +759,10 @@ main (int argc, char *argv[]) { if (server_start () < 0) { exit (-1); } +#if 0 signal (SIGTERM, sigterm_handler); atexit (atexit_handler); // helps to save in simple cases +#endif // start all subsystems plug_trigger_event_playlistchanged (); @@ -806,7 +809,9 @@ main (int argc, char *argv[]) { conf_free (); messagepump_free (); plug_cleanup (); +#if 0 sigterm_handled = 1; +#endif fprintf (stderr, "hej-hej!\n"); return 0; } |