Changes in uspace/srv/devman/main.c [7e752b2:0b5a4131] in mainline

File:

• uspace/srv/devman/main.c (modified) (5 diffs)

uspace/srv/devman/main.c

@@ -36 +36 @@
  */
 
-#include <inttypes.h>
 #include <assert.h>
 #include <ipc/services.h>
@@ -406 +405 @@
                         break;
                 default:
-                        ipc_answer_0(callid, ENOENT);
+                        if (!(callid & IPC_CALLID_NOTIFICATION))
+                                ipc_answer_0(callid, ENOENT);
                 }
         }
@@ -418 +418 @@
         node_t *dev = find_dev_node(&device_tree, handle);
         if (dev == NULL) {
-                printf(NAME ": devman_forward error - no device with handle %" PRIun
-                    " was found.\n", handle);
+                printf(NAME ": devman_forward error - no device with handle %x "
+                    "was found.\n", handle);
                 ipc_answer_0(iid, ENOENT);
                 return;
@@ -435 +435 @@
         
         if (driver == NULL) {
-                printf(NAME ": devman_forward error - the device is not in %" PRIun
-                    " usable state.\n", handle);
+                printf(NAME ": devman_forward error - the device is not in "
+                    "usable state.\n", handle);
                 ipc_answer_0(iid, ENOENT);
                 return;
@@ -450 +450 @@
                 printf(NAME ": devman_forward: cound not forward to driver %s ",
                     driver->name);
-                printf("the driver's phone is %" PRIun ").\n", driver->phone);
+                printf("the driver's phone is %x).\n", driver->phone);
                 ipc_answer_0(iid, EINVAL);
                 return;