Changes in uspace/srv/devman/util.c [5b08d750:9d58539] in mainline

File:

• uspace/srv/devman/util.c (modified) (1 diff)

uspace/srv/devman/util.c

@@ -85 +85 @@
 }
 
+void free_not_null(const void *ptr)
+{
+        if (ptr != NULL)
+                free(ptr);
+}
+
 void replace_char(char *str, char orig, char repl)
 {