diff -r 000000000000 -r b74b0e4902c3 main/task_http.h
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/main/task_http.h	Sat Oct 20 13:23:15 2018 +0200
@@ -0,0 +1,15 @@
+/**
+ * @file task_http.h
+ * @brief HTTP and Websocket server functions.
+ */
+
+#ifndef	_TASK_HTTP_H
+#define	_TASK_HTTP_H
+
+
+/**
+ * @brief Start the HTTP/Websocket server.
+ */
+void start_http_websocket(void);
+
+#endif