Changeset dc5c303 in mainline for uspace/srv/devman/main.c

Timestamp:

2023-12-28T13:59:23Z (22 months ago)

Author:

GitHub <noreply@…>

Children:

6b66de6b

Parents:

42c2e65 (diff), f87ff8e (diff)
Note: this is a merge changeset, the changes displayed below correspond to the merge itself.
Use the (diff) links above to see all the changes relative to each parent.

git-author:

boba-buba <120932204+boba-buba@…> (2023-12-28 13:59:23)

git-committer:

GitHub <noreply@…> (2023-12-28 13:59:23)

Message:

Merge branch 'master' into topic/packet-capture

File:

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

uspace/srv/devman/main.c

@@ -1 +1 @@
 /*
+ * Copyright (c) 2023 Jiri Svoboda
  * Copyright (c) 2010 Lenka Trochtova
  * All rights reserved.
@@ -64 +65 @@
 driver_list_t drivers_list;
 dev_tree_t device_tree;
+loc_srv_t *devman_srv;
 
 static void devman_connection_device(ipc_call_t *icall, void *arg)
@@ -280 +282 @@
 static bool devman_init(void)
 {
+        errno_t rc;
+
         log_msg(LOG_DEFAULT, LVL_DEBUG, "devman_init - looking for available drivers.");
 
@@ -305 +309 @@
          * not work.
          */
-        loc_server_register(NAME);
+        rc = loc_server_register(NAME, &devman_srv);
+        if (rc != EOK) {
+                log_msg(LOG_DEFAULT, LVL_FATAL, "Error registering devman server.");
+                return false;
+        }
 
         return true;