@@ -36,11 +36,11 @@ typedef struct Debugger
unsigned int ws_port;
- pthread_t web_server_thread;
+ //pthread_t web_server_thread;
bool web_server_ready;
bool web_firmware_uploaded;
- pthread_t gui_thread;
+ //pthread_t gui_thread;
char mnemonic[50];
@@ -22,7 +22,6 @@
#include <stdlib.h>
#include <stdio.h>
#include <time.h>
-#include <pthread.h>
#include "../cpu/registers.h"
#include "../utilities.h"
@@ -20,7 +20,6 @@
-#include <termios.h>
#include <stdint.h>
#include <fcntl.h>
@@ -9,12 +9,12 @@
#include <string.h>
#include <signal.h>
-#include <sys/wait.h>
+//#include <sys/wait.h>
#include <errno.h>
#include <stdbool.h>
-#include <readline/readline.h>
-#include <readline/history.h>
+//#include <pthread.h>
+//#include <readline/readline.h>
+//#include <readline/history.h>
#ifdef WEBSOCKETS
#include <libwebsockets.h>