File tree Expand file tree Collapse file tree 4 files changed +25
-1
lines changed
Expand file tree Collapse file tree 4 files changed +25
-1
lines changed Original file line number Diff line number Diff line change @@ -137,3 +137,10 @@ function fullscreen() {
137137 document . getElementById ( "screen_container" ) . requestFullscreen ( ) ;
138138}
139139
140+ //reload after setting web proxy
141+ function setProxyFromSettings ( ) {
142+ localStorage . setItem ( "proxy" , document . getElementById ( "proxy_setting" ) . value ) ;
143+ startAutosave ( ) ;
144+ window . location . reload ( ) ;
145+ }
146+
Original file line number Diff line number Diff line change @@ -55,6 +55,8 @@ <h4 class="fluff">It's Linux, in a Browser</h4>
5555Restore from file: < input id ="restore_file " type ="file ">
5656</ label >
5757< hr >
58+ < p > web proxy</ p > < input type ="test " value ="wss://relay.widgetry.org/ " id ="proxy_setting "> < button onclick ="setProxyFromSettings() "> save and reload</ button >
59+ < hr >
5860< button id ="clear_save " onclick ="delete_data() "> delete saved data</ button >
5961< button id ="autosave_toggle " onclick ="toggle_autosave() "> enable autosave</ button >
6062< button id ="save " onclick ="startAutosave() "> save now</ button >
Original file line number Diff line number Diff line change @@ -54,6 +54,21 @@ if(window.params.has("iso") != true) {
5454 }
5555}
5656
57+ //web proxy
58+ if ( window . params . has ( "proxy" ) || localStorage . getItem ( "proxy" ) != null ) {
59+ //check for persistence
60+ var proxyUrlFromStorage = localStorage . getItem ( "proxy" ) ;
61+ if ( localStorage . getItem ( "proxy" ) == null ) {
62+ window . proxy = window . params . get ( "proxy" ) ;
63+ } else {
64+ window . proxy = proxyUrlFromStorage ;
65+ }
66+
67+ document . getElementById ( "proxy_setting" ) . value = window . proxy ;
68+ } else {
69+ window . proxy = "wss://relay.widgetry.org/" ;
70+ }
71+
5772//screen
5873window . screen = false ; //default value
5974if ( window . params . has ( "screen" ) ) {
@@ -115,7 +130,7 @@ var emulator = window.emulator = new V86Starter({
115130 wasm_path : "lib/v86/v86.wasm" ,
116131 memory_size : window . mem * 1024 * 1024 ,
117132 vga_memory_size : 16 * 1024 * 1024 ,
118- network_relay_url : "wss://relay.widgetry.org/" ,
133+ network_relay_url : window . proxy ,
119134 screen_container : document . getElementById ( "screen_container" ) ,
120135 serial_container_xtermjs : document . getElementById ( "terminal" ) ,
121136 bios : {
You can’t perform that action at this time.
0 commit comments