File indexing completed on 2025-05-11 08:24:19
0001
0002
0003
0004
0005
0006
0007
0008
0009
0010
0011
0012
0013
0014
0015 #ifdef HAVE_CONFIG_H
0016 #include "config.h"
0017 #endif
0018
0019 #include <stdio.h>
0020
0021 #include <rtems.h>
0022 #include <rtems/shell.h>
0023 #include "internal.h"
0024
0025 static int rtems_shell_main_logoff(
0026 int argc RTEMS_UNUSED,
0027 char *argv[] RTEMS_UNUSED
0028 )
0029 {
0030 rtems_shell_env_t *env = rtems_shell_get_current_env();
0031
0032 printf("logoff from the system...");
0033
0034 if (env)
0035 env->exit_shell = true;
0036
0037 return 0;
0038 }
0039
0040 rtems_shell_cmd_t rtems_shell_LOGOFF_Command = {
0041 "logoff",
0042 "logoff from the system",
0043 "misc",
0044 rtems_shell_main_logoff,
0045 NULL,
0046 NULL
0047 };