Index: uspace/app/date/date.c
===================================================================
--- uspace/app/date/date.c	(revision 02b38730fd9e39b4ccbe94d09de87f1fdd8daeab)
+++ uspace/app/date/date.c	(revision d982e19061ad02dbd565a204dfa2677189310d64)
@@ -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);