From 23e9c3bca7eb40566ffd4b6cd57b9b4e1f19ad30 Mon Sep 17 00:00:00 2001
From: Damien George <damien.p.george@gmail.com>
Date: Fri, 27 Apr 2018 23:58:51 +1000
Subject: [PATCH] esp32/modules: Add support scripts for WebREPL.

WebREPL now works on the esp32 in the same way it does on esp8266.
---
 ports/esp32/modules/inisetup.py         | 4 ++++
 ports/esp32/modules/webrepl.py          | 1 +
 ports/esp32/modules/webrepl_setup.py    | 1 +
 ports/esp32/modules/websocket_helper.py | 1 +
 4 files changed, 7 insertions(+)
 create mode 120000 ports/esp32/modules/webrepl.py
 create mode 120000 ports/esp32/modules/webrepl_setup.py
 create mode 120000 ports/esp32/modules/websocket_helper.py

diff --git a/ports/esp32/modules/inisetup.py b/ports/esp32/modules/inisetup.py
index 45bce82cc..0e9c72fe8 100644
--- a/ports/esp32/modules/inisetup.py
+++ b/ports/esp32/modules/inisetup.py
@@ -34,5 +34,9 @@ def setup():
     with open("boot.py", "w") as f:
         f.write("""\
 # This file is executed on every boot (including wake-boot from deepsleep)
+#import esp
+#esp.osdebug(None)
+#import webrepl
+#webrepl.start()
 """)
     return vfs
diff --git a/ports/esp32/modules/webrepl.py b/ports/esp32/modules/webrepl.py
new file mode 120000
index 000000000..2a3987a72
--- /dev/null
+++ b/ports/esp32/modules/webrepl.py
@@ -0,0 +1 @@
+../../esp8266/modules/webrepl.py
\ No newline at end of file
diff --git a/ports/esp32/modules/webrepl_setup.py b/ports/esp32/modules/webrepl_setup.py
new file mode 120000
index 000000000..999888bf1
--- /dev/null
+++ b/ports/esp32/modules/webrepl_setup.py
@@ -0,0 +1 @@
+../../esp8266/modules/webrepl_setup.py
\ No newline at end of file
diff --git a/ports/esp32/modules/websocket_helper.py b/ports/esp32/modules/websocket_helper.py
new file mode 120000
index 000000000..4bcf3bcb6
--- /dev/null
+++ b/ports/esp32/modules/websocket_helper.py
@@ -0,0 +1 @@
+../../esp8266/modules/websocket_helper.py
\ No newline at end of file