panic() on inconsistent endpoints

diff --git a/servers/fs/main.c b/servers/fs/main.c
index 074e512894ed0ed2f20cc75e272ed05ceee39068..eb6aa36fddfc1e3682b45cb77e9908340ac0d79f 100644 (file)
--- 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;