cpld: altera-epm240: Add additional IDCODEs

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

diff --git a/src/server/server.h b/src/server/server.h
index f4cc39d3a75425e4c8fb45ff3a22c99be7603c49..bacd1116a15354364bae92acfc48552ac6d2c2da 100644 (file)
--- a/src/server/server.h
+++ b/src/server/server.h
@@ -30,6 +30,7 @@
 #endif
 
 #include <helper/log.h>
+#include <helper/replacements.h>
 
 #ifdef HAVE_NETINET_IN_H
 #include <netinet/in.h>
@@ -87,7 +88,7 @@ int server_preinit(void);
 int server_init(struct command_context *cmd_ctx);
 int server_quit(void);
 void server_free(void);
-void exit_on_signal(int);
+void exit_on_signal(int sig);
 
 int server_loop(struct command_context *command_context);
 
@@ -96,15 +97,6 @@ int server_register_commands(struct command_context *context);
 int connection_write(struct connection *connection, const void *data, int len);
 int connection_read(struct connection *connection, void *data, int len);
 
-/**
- * Used by server_loop(), defined in server_stubs.c
- */
-void openocd_sleep_prelude(void);
-/**
- * Used by server_loop(), defined in server_stubs.c
- */
-void openocd_sleep_postlude(void);
-
 /**
  * Defines an extended command handler function declaration to enable
  * access to (and manipulation of) the server port number.