Changeset 2480e19 in mainline for uspace/srv/devman/main.c

Timestamp:

2010-04-08T14:04:48Z (15 years ago)

Author:

Lenka Trochtova <trochtova.lenka@…>

Branches:

lfn, master, serial, ticket/834-toolchain-update, topic/msim-upgrade, topic/simplify-dev-export

Children:

d1fc8f0

Parents:

89ce401a

Message:

fixed some bugs

File:

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

uspace/srv/devman/main.c

@@ -142 +142 @@
         }
         
+        ipc_answer_0(callid, EOK);
+        
         match_id->score = IPC_GET_ARG1(call);
         
@@ -147 +149 @@
         if (EOK != rc) {
                 delete_match_id(match_id);
+                printf(NAME ": devman_receive_match_id - failed to receive match id string.\n");
                 return rc;
         }
@@ -157 +160 @@
 
 static int devman_receive_match_ids(ipcarg_t match_count, match_id_list_t *match_ids) 
-{
+{       
         int ret = EOK;
         size_t i;
@@ -170 +173 @@
 static void devman_add_child(ipc_callid_t callid, ipc_call_t *call, driver_t *driver)
 {
-        printf(NAME ": devman_add_child\n");
+        // printf(NAME ": devman_add_child\n");
         
         device_handle_t parent_handle = IPC_GET_ARG1(*call);
@@ -188 +191 @@
                 return;
         }
-        printf(NAME ": newly added child device's name is '%s'.\n", dev_name);
+        // printf(NAME ": newly added child device's name is '%s'.\n", dev_name);
         
         node_t *node = create_dev_node();
@@ -196 +199 @@
                 return;
         }       
+        
+        printf(NAME ": devman_add_child %s\n", node->pathname);
         
         devman_receive_match_ids(match_count, &node->match_ids);
@@ -261 +266 @@
         
         device_handle_t handle = IPC_GET_ARG2(*icall);
-        printf(NAME ": devman_forward - trying to forward connection to device with handle %x.\n", handle);
+        // printf(NAME ": devman_forward - trying to forward connection to device with handle %x.\n", handle);
         
         node_t *dev = find_dev_node(&device_tree, handle);
@@ -297 +302 @@
                 return;
         }
-        printf(NAME ": devman_forward: forward to driver %s with phone %d.\n", driver->name, driver->phone);
+        printf(NAME ": devman_forward: forward connection to device %s to driver %s with phone %d.\n", 
+                dev->pathname, driver->name, driver->phone);
         ipc_forward_fast(iid, driver->phone, method, dev->handle, 0, IPC_FF_NONE);      
 }