/* * http_server.h * * Created on: Feb 20, 2017 * Author: user003 */ #ifndef HTTP_SERVER_H_ #define HTTP_SERVER_H_ void GpioLedInit(void); void websocketBcast(void *arg); #endif /* HTTP_SERVER_H_ */