File tree Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -80,7 +80,7 @@ const term = new Terminal();
80
80
term . open ( document . getElementById ( 'terminal' ) ) ;
81
81
term . write ( prompt ) ;
82
82
83
- function remove_non_ascii ( str ) {
83
+ function removeNonAscii ( str ) {
84
84
if ( ( str === null ) || ( str === '' ) )
85
85
return false ;
86
86
else
@@ -89,12 +89,12 @@ function remove_non_ascii(str) {
89
89
return str . replace ( / [ ^ \x20 - \x7E ] / g, '' ) ;
90
90
}
91
91
92
- function print_to_console ( data ) {
93
- term . write ( remove_non_ascii ( data ) + "\r\n" ) ;
92
+ function printToConsole ( data ) {
93
+ term . write ( removeNonAscii ( data ) + "\r\n" ) ;
94
94
}
95
95
96
96
const terminalVM = rp . vmStore . init ( "term_vm" ) ;
97
- terminalVM . setStdout ( print_to_console ) ;
97
+ terminalVM . setStdout ( printToConsole ) ;
98
98
99
99
var input = "" ;
100
100
term . on ( "data" , ( data ) => {
@@ -111,7 +111,7 @@ term.on("data", (data) => {
111
111
if ( err instanceof WebAssembly . RuntimeError ) {
112
112
err = window . __RUSTPYTHON_ERROR || err ;
113
113
}
114
- print_to_console ( err ) ;
114
+ printToConsole ( err ) ;
115
115
}
116
116
term . write ( prompt ) ;
117
117
input = "" ;
You can’t perform that action at this time.
0 commit comments