Links2004/arduinoWebSockets
1
0
Fork 1
mirror of https://github.com/Links2004/arduinoWebSockets.git synced 2025-07-15 00:06:30 +02:00
Code Issues Packages Projects Releases Wiki Activity

esp8266: share port 80 with regular webserver (#575)

Browse Source
This commit is contained in:
david gauchard
2020-11-21 13:51:16 +01:00
committed by GitHub
parent 7fea0b8bdf
commit 826c6b423a
7 changed files with 459 additions and 137 deletions
Download Patch File Download Diff File Expand all files Collapse all files

20
examples/esp8266/WebSocketServerHooked/emu Executable file
View File

@ -0,0 +1,20 @@
#!/bin/sh
# linux script to compile&run arduinoWebSockets in a mock environment
if [ -z "$ESP8266ARDUINO" ]; then
echo "please set ESP8266ARDUINO env-var to where esp8266/arduino sits"
exit 1
fi
set -e
where=$(pwd)
cd $ESP8266ARDUINO/tests/host/
make -j FORCE32=0 \
ULIBDIRS=../../libraries/Hash/:~/dev/proj/arduino/libraries/arduinoWebSockets \
${where}/WebSocketServerHooked
valgrind ./bin/WebSocketServerHooked/WebSocketServerHooked -b "$@"