fix stdin bug returning eof in input loop

srsue/src/main.cc

@@ -403,14 +403,19 @@ void *input_loop(void *m) {
   char key;
   while (running) {
     cin >> key;
-    if ('t' == key) {
+    if (cin.eof() || cin.bad()) {
-      do_metrics = !do_metrics;
+      cout << "Closing stdin thread\n" << endl;
-      if (do_metrics) {
+       break;
-        cout << "Enter t to stop trace." << endl;
+    } else {
-      } else {
+      if ('t' == key) {
-        cout << "Enter t to restart trace." << endl;
+        do_metrics = !do_metrics;
+        if (do_metrics) {
+          cout << "Enter t to stop trace." << endl;
+        } else {
+          cout << "Enter t to restart trace." << endl;
+        }
+        metrics_screen.toggle_print(do_metrics);
       }
-      metrics_screen.toggle_print(do_metrics);
     }
   }
   return NULL;