1 files changed, 7 insertions, 1 deletions
diff --git a/tools/console/client/main.c b/tools/console/client/main.c
index 63e729acab..840f08eec6 100644
--- a/tools/console/client/main.c
+++ b/tools/console/client/main.c
@@ -287,7 +287,13 @@ int main(int argc, char **argv)
 			exit(EINVAL);
 		}
 	}
-	
+
+	if (optind >= argc) {
+		fprintf(stderr, "DOMID should be specified\n");
+		fprintf(stderr, "Try `%s --help' for more information.\n",
+			argv[0]);
+		exit(EINVAL);
+	}
 	domid = strtol(argv[optind], &end, 10);
 	if (end && *end) {
 		fprintf(stderr, "Invalid DOMID `%s'\n", argv[optind]);