X-Git-Url: https://review.openocd.org/gitweb?a=blobdiff_plain;f=src%2Fopenocd.h;h=6d87c2af9012359043ea715382fb1ad73df66a82;hb=dab4adb5ec50957a9ebbfa1123a634842cb2f002;hp=a91d46f2f2568358f0ec402fc2366117fc04abcc;hpb=9b1f9810b090958bb4a669034173a01683c6e3e9;p=openocd.git

diff --git a/src/openocd.h b/src/openocd.h
index a91d46f2f2..6d87c2af90 100644
--- a/src/openocd.h
+++ b/src/openocd.h
@@ -15,13 +15,13 @@
  *   You should have received a copy of the GNU General Public License     *
  *   along with this program; if not, write to the                         *
  *   Free Software Foundation, Inc.,                                       *
- *   59 Temple Place - Suite 330, Boston, MA  02111-1307, USA.             *
+ *   51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA.           *
  ***************************************************************************/
 
 #ifndef OPENOCD_H
 #define OPENOCD_H
 
-/** 
+/**
  * Different applications can define this entry point to override
  * the default openocd main function.  On most systems, this will be
  * defined in src/openocd.c.
@@ -31,12 +31,4 @@
  */
 int openocd_main(int argc, char *argv[]);
 
-/// used by the server_loop() function in src/server/server.c
-void openocd_sleep_prelude(void);
-/// used by the server_loop() function in src/server/server.c
-void openocd_sleep_postlude(void);
-
-/// provides a hard-coded command environment setup
-extern const char openocd_startup_tcl[];
-
 #endif