From 25fdc7657de5c156981d6d5d5d91e5e954c27702 Mon Sep 17 00:00:00 2001 From: Ben Gras Date: Fri, 10 Mar 2006 12:59:46 +0000 Subject: [PATCH] panic() on inconsistent endpoints --- servers/fs/main.c | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/servers/fs/main.c b/servers/fs/main.c index 074e51289..eb6aa36fd 100644 --- a/servers/fs/main.c +++ b/servers/fs/main.c @@ -140,8 +140,9 @@ PRIVATE void get_work() continue; } if(who_p >= 0 && fproc[who_p].fp_endpoint != who_e) { - printf("FS: receive endpoint inconsistent (%d, %d), ignoring %d", - fproc[who_p].fp_endpoint, who_e, m_in.m_type); + printf("FS: receive endpoint inconsistent (%d, %d, %d).\n", + who_e, fproc[who_p].fp_endpoint, who_e); + panic(__FILE__, "FS: inconsistent endpoint ", NO_NUM); continue; } call_nr = m_in.m_type; -- 2.44.0