report driver source of grant mismatch

2006-08-04 13:31:06 +00:00 · 2006-08-04 13:31:06 +00:00 · c3c08d252c
parent 4c7c64cd66
commit c3c08d252c
1 changed files with 2 additions and 1 deletions
--- a/servers/fs/device.c
+++ b/servers/fs/device.c
@ -137,7 +137,8 @@ PUBLIC void dev_status(message *m)
 						st.REP_IO_GRANT);
 					if(endpt == NONE) {
 						printf("FS: proc with "
-					"grant %d not found (revive)\n",
+					"grant %d from %d not found (revive)\n",
+					st.m_source,
 					st.REP_IO_GRANT);
 						continue;
 					}