afs: Shutdown the scheduler if a fatal signal was caught.

This fixes the problem that the afs database was not marked clean
and thus had to be checked if para_server was interupted by a
signal.

diff --git a/afs.c b/afs.c
index ab1a1df6ffaad6da32cafd2d363211593172159c..0454b8ef8d46f78c8348c74111efcdb31f54f722 100644 (file)
--- a/afs.c
+++ b/afs.c
@@ -777,6 +777,7 @@ static void signal_post_select(struct sched *s, struct task *t)
                init_admissible_files(current_mop);
                return;
        }
+       sched_shutdown();
        t->error = -E_AFS_SIGNAL;
 }