X-Git-Url: https://git.gag.com/?a=blobdiff_plain;f=src%2Fserver%2Fserver.h;h=bacd1116a15354364bae92acfc48552ac6d2c2da;hb=d673521c39dcf82ce4c2e6d9d4dcdc7460c09fbe;hp=de18d2b4b66680ad0baca4d39f592b08f25aea6d;hpb=87c90393fedc8bb278d189aa53bcd93f4892012b;p=fw%2Fopenocd

diff --git a/src/server/server.h b/src/server/server.h
index de18d2b4b..bacd1116a 100644
--- a/src/server/server.h
+++ b/src/server/server.h
@@ -97,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.