Changes in uspace/app/init/init.c [79ae36dd:3acb285] in mainline

File:

• uspace/app/init/init.c (modified) (2 diffs)

uspace/app/init/init.c

@@ -176 +176 @@
 static void console(const char *dev)
 {
-        printf("%s: Spawning %s %s\n", NAME, SRV_CONSOLE, dev);
+        char hid_in[DEVMAP_NAME_MAXLEN];
+        int rc;
+        
+        snprintf(hid_in, DEVMAP_NAME_MAXLEN, "%s/%s", DEVFS_MOUNT_POINT, dev);
+        
+        printf("%s: Spawning %s %s\n", NAME, SRV_CONSOLE, hid_in);
         
         /* Wait for the input device to be ready */
         devmap_handle_t handle;
-        int rc = devmap_device_get_handle(dev, &handle, IPC_FLAG_BLOCKING);
-        if (rc != EOK) {
-                printf("%s: Error waiting on %s (%s)\n", NAME, dev,
-                    str_error(rc));
-                return;
-        }
-        
-        rc = task_spawnl(NULL, SRV_CONSOLE, SRV_CONSOLE, dev, NULL);
+        rc = devmap_device_get_handle(dev, &handle, IPC_FLAG_BLOCKING);
+        if (rc != EOK) {
+                printf("%s: Error waiting on %s (%s)\n", NAME, hid_in,
+                    str_error(rc));
+                return;
+        }
+        
+        rc = task_spawnl(NULL, SRV_CONSOLE, SRV_CONSOLE, hid_in, NULL);
         if (rc != EOK) {
                 printf("%s: Error spawning %s %s (%s)\n", NAME, SRV_CONSOLE,
-                    dev, str_error(rc));
+                    hid_in, str_error(rc));
         }
 }
@@ -267 +272 @@
         mount_tmpfs();
         
+#ifdef CONFIG_START_DEVMAN
         spawn("/srv/devman");
+#endif
         spawn("/srv/apic");
         spawn("/srv/i8259");