diff --git a/common/utils/T/tracer/remote.c b/common/utils/T/tracer/remote.c index 85112bf6eb11f8f6a4c6dcb36485f3d5af7af7d7..f64c5034c91261941005ac9ca33454264b5536cf 100644 --- a/common/utils/T/tracer/remote.c +++ b/common/utils/T/tracer/remote.c @@ -60,7 +60,8 @@ void usage(void) " by default, all is off\n" " -p <port> use given port (default %d)\n" " -x GUI output\n" -" -debug-gui active GUI debug logs\n", +" -debug-gui activate GUI debug logs\n" +" -no-gui disable GUI entirely\n", DEFAULT_REMOTE_PORT ); exit(1); @@ -121,6 +122,7 @@ int main(int n, char **v) gui *g; int gui_mode = 0; view *out; + int gui_active = 1; on_off_name = malloc(n * sizeof(char *)); if (on_off_name == NULL) abort(); on_off_action = malloc(n * sizeof(int)); if (on_off_action == NULL) abort(); @@ -141,9 +143,12 @@ int main(int n, char **v) { on_off_name[on_off_n]=NULL; on_off_action[on_off_n++]=0; continue; } if (!strcmp(v[i], "-x")) { gui_mode = 1; continue; } if (!strcmp(v[i], "-debug-gui")) { gui_logd = 1; continue; } + if (!strcmp(v[i], "-no-gui")) { gui_active = 0; continue; } usage(); } + if (gui_active == 0) gui_mode = 0; + if (database_filename == NULL) { printf("ERROR: provide a database file (-d)\n"); exit(1); @@ -157,8 +162,10 @@ int main(int n, char **v) h = new_handler(database); - g = gui_init(); - new_thread(gui_thread, g); + if (gui_active) { + g = gui_init(); + new_thread(gui_thread, g); + } if (gui_mode) { widget *w, *win; @@ -198,7 +205,8 @@ int main(int n, char **v) if (is_on[l]) if (write(s, &l, sizeof(int)) != sizeof(int)) abort(); - setup_event_selector(g, database, s, is_on); + if (gui_active) + setup_event_selector(g, database, s, is_on); /* read messages */ while (1) {