- add ability for openocd to communicate to gdb using pipes (stdin/stdout).

[openocd.git] / src / server / server.h

diff --git a/src/server/server.h b/src/server/server.h
index fd1abbf59c4d74c425295b7f9bc1827b25aff465..451ac6f775bd15bcdbc0f1cab425832cd9128c9e 100644 (file)
--- a/src/server/server.h
+++ b/src/server/server.h
@@ -34,9 +34,8 @@
 
 enum connection_type
 {
-       CONNECTION_GDB,
-       CONNECTION_TELNET,
-       CONNECTION_TCL,
+       CONNECTION_TCP,
+       CONNECTION_PIPE
 };
 
 typedef struct connection_s
@@ -76,6 +75,8 @@ extern int server_quit(void);
 extern int server_loop(command_context_t *command_context);
 extern int server_register_commands(command_context_t *context);
 
+extern int server_use_pipes;
+
 #define ERROR_SERVER_REMOTE_CLOSED     (-400)
 #define ERROR_CONNECTION_REJECTED      (-401)