Add ESP8266WebServer library

Author: igrr

hardware/arduino/esp8266/cores/esp8266/abi.cpp

@@ -52,4 +52,10 @@ void __cxa_deleted_virtual(void) {
   abort();
 }
 
+namespace std {
+  void __throw_bad_function_call() {
+    abort();
+  }
+}
+
 

hardware/arduino/esp8266/libraries/ESP8266WebServer/examples/HelloServer/HelloServer.ino

@@ -0,0 +1,54 @@
+#include <ESP8266WiFi.h>
+#include <WiFiClient.h>
+#include <ESP8266WebServer.h>
+ 
+const char* ssid = "...............";
+const char* password = "...............";
+
+
+ESP8266WebServer server(80);
+ 
+const int led = 13;
+ 
+void handle_root() {
+  digitalWrite(led, 1);
+  server.send(200, "text/plain", form);
+  delay(100);
+  digitalWrite(led, 0);
+}
+ 
+void setup(void)
+{
+  Serial.begin(115200);
+  pinMode(led, OUTPUT);
+  digitalWrite(led, 0);
+
+  // Connect to WiFi network
+  WiFi.begin(ssid, password);
+  Serial.println("");
+
+  // Wait for connection
+  while (WiFi.status() != WL_CONNECTED) {
+    delay(500);
+    Serial.print(".");
+  }
+  Serial.println("");
+  Serial.print("Connected to ");
+  Serial.println(ssid);
+  Serial.print("IP address: ");
+  Serial.println(WiFi.localIP());
+   
+  server.on("/", handle_root);
+  
+  server.on("/inline", [](){
+    server.send(200, "text/plain", "this works as well");
+  });
+  
+  server.begin();
+  Serial.println("HTTP server started");
+}
+ 
+void loop(void)
+{
+  server.handleClient();
+} 

hardware/arduino/esp8266/libraries/ESP8266WebServer/keywords.txt

@@ -0,0 +1,31 @@
+#######################################
+# Syntax Coloring Map For Ultrasound
+#######################################
+
+#######################################
+# Datatypes (KEYWORD1)
+#######################################
+
+ESP8266WebServer	KEYWORD1
+HTTPMethod	KEYWORD1
+
+#######################################
+# Methods and Functions (KEYWORD2)
+#######################################
+
+begin	KEYWORD2
+handleClient	KEYWORD2
+on	KEYWORD2
+uri	KEYWORD2
+method	KEYWORD2
+client	KEYWORD2
+send	KEYWORD2
+arg	KEYWORD2
+
+#######################################
+# Constants (LITERAL1)
+#######################################
+
+HTTP_GET	LITERAL1
+HTTP_POST	LITERAL1
+HTTP_ANY	LITERAL1