report driver source of grant mismatch

diff --git a/servers/fs/device.c b/servers/fs/device.c
index 3db2a10d37356c45d9891f1adedd7b42d47abaad..81995c19eb399f73c2046b6674cc1b54e426685e 100644 (file)
--- 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;
                                        }