Index: uspace/app/date/date.c
===================================================================
--- uspace/app/date/date.c	(revision cf00f2e4b4bbd910749e260222890f080123ee76)
+++ uspace/app/date/date.c	(revision 20ebab6f4c8b36f8356a8096edbc1a2709fee579)
@@ -75,7 +75,14 @@
 	}
 
-	const char delim[] = {"/\0"};
-	strtok(svc_name, delim);
-	devpath = strtok(svc_name, delim);
+	const char delim = '/';
+	devpath = str_chr(svc_name, delim);
+
+	if (!devpath) {
+		printf(NAME ": Device name format not recognized\n");
+		goto exit;
+	}
+
+	/* Skip the delimiter */
+	devpath++;
 
 	printf("Found device %s\n", devpath);