panic() on inconsistent endpoints

This commit is contained in:
Ben Gras 2006-03-10 12:59:46 +00:00
parent bf081105f1
commit 25fdc7657d

View File

@ -140,8 +140,9 @@ PRIVATE void get_work()
continue; continue;
} }
if(who_p >= 0 && fproc[who_p].fp_endpoint != who_e) { if(who_p >= 0 && fproc[who_p].fp_endpoint != who_e) {
printf("FS: receive endpoint inconsistent (%d, %d), ignoring %d", printf("FS: receive endpoint inconsistent (%d, %d, %d).\n",
fproc[who_p].fp_endpoint, who_e, m_in.m_type); who_e, fproc[who_p].fp_endpoint, who_e);
panic(__FILE__, "FS: inconsistent endpoint ", NO_NUM);
continue; continue;
} }
call_nr = m_in.m_type; call_nr = m_in.m_type;