]> git.tuebingen.mpg.de Git - paraslash.git/blobdiff - client.c
task_register() conversion: vss task
[paraslash.git] / client.c
index 56e7cc5c538939323cec4ba4b4ff62df018538d1..349f970d961b52f78ad6d67ddf673a2fbb7b0d97 100644 (file)
--- a/client.c
+++ b/client.c
@@ -495,6 +495,7 @@ __noreturn static void interactive_session(void)
                goto out;
        para_log = i9e_log;
        ret = schedule(&sched);
+       sched_shutdown(&sched);
        i9e_close();
        para_log = stderr_log;
 out: