profile: use 100Hz as a default sampling frequency

[fw/openocd] / src / openocd.c

diff --git a/src/openocd.c b/src/openocd.c
index 7347cad8e5b0d5ba3cb8122d078a78d5517f6bc6..5ce01e82bd2892ad46759908995e2ef507ce9302 100644 (file)
--- a/src/openocd.c
+++ b/src/openocd.c
@@ -42,7 +42,6 @@
 
 #include <server/server.h>
 #include <server/gdb_server.h>
-#include <server/httpd.h>
 
 #ifdef HAVE_STRINGS_H
 #include <strings.h>
@@ -337,9 +336,6 @@ int openocd_main(int argc, char *argv[])
        if (ret != ERROR_OK)
                return EXIT_FAILURE;
 
-       if (httpd_start(cmd_ctx) != ERROR_OK)
-               return EXIT_FAILURE;
-
        ret = server_init(cmd_ctx);
        if (ERROR_OK != ret)
                return EXIT_FAILURE;
@@ -357,8 +353,6 @@ int openocd_main(int argc, char *argv[])
 
        server_quit();
 
-       httpd_stop();
-
        unregister_all_commands(cmd_ctx, NULL);
 
        /* free commandline interface */