Changeset 712 for soft/giet_vm/applications/shell/shell.c

Timestamp:

Oct 7, 2015, 11:56:33 AM (9 years ago)

Author:

alain

Message:

Introduce the giet_fbf_size() and giet_fbf_alloc() system calls.

File:

• soft/giet_vm/applications/shell/shell.c (modified) (5 diffs)

soft/giet_vm/applications/shell/shell.c

@@ -14 +14 @@
 #define MAX_ARGS    (32)
 
+
 struct command_t
 {
@@ -260 +261 @@
 static void cmd_ps(int argc, char** argv)
 {
-    giet_applications_status();
+    if (argc == 1)
+    {
+        giet_applications_status( NULL );
+    }
+    else
+    {
+        giet_applications_status( argv[1] );
+    }
 }
 
@@ -272 +280 @@
     }
 
-    int ret = giet_pthread_pause( argv[1] , argv[2] );
-
-    if ( ret == -1 )
-    {
-        giet_tty_printf("  error : vspace %s not found\n", argv[1] );
-    }
-    if ( ret == -2 )
-    {
-        giet_tty_printf("  error : thread %s not found\n", argv[2] );
-    }
+    giet_pthread_control( THREAD_CMD_PAUSE , argv[1] , argv[2] );
 }
 
@@ -293 +292 @@
     }
 
-    int ret = giet_pthread_resume( argv[1] , argv[2] );
-
-    if ( ret == -1 )
-    {
-        giet_tty_printf("  error : vspace %s not found\n", argv[1] );
-    }
-    if ( ret == -2 )
-    {
-        giet_tty_printf("  error : thread %s not found\n", argv[2] );
-    }
+    giet_pthread_control( THREAD_CMD_RESUME , argv[1] , argv[2] );
 }
 
@@ -314 +304 @@
     }
 
-    int ret = giet_pthread_context( argv[1] , argv[2] );
-
-    if ( ret == -1 )
-    {
-        giet_tty_printf("  error : vspace %s not found\n", argv[1] );
-    }
-    if ( ret == -2 )
-    {
-        giet_tty_printf("  error : thread %s not found\n", argv[2] );
-    }
+    giet_pthread_control( THREAD_CMD_CONTEXT , argv[1] , argv[2] );
 }