File tree Expand file tree Collapse file tree 1 file changed +2
-6
lines changed
Expand file tree Collapse file tree 1 file changed +2
-6
lines changed Original file line number Diff line number Diff line change @@ -176,10 +176,7 @@ function runTest() {
176176 pathOfPy . replace ( / \/ / g, "\\" )
177177 const fs = require ( "fs" ) ;
178178 let json = JSON . stringify ( { problem : __problem } ) ;
179- fs . writeFile ( `${ pathOfPy } /prob.json` , json , ( err ) => {
180- if ( err ) {
181- console . log ( err ) ;
182- }
179+ fs . writeFileSync ( `${ pathOfPy } /prob.json` , json )
183180 let uri = decodeURIComponent ( vscode . window . activeTextEditor . document . uri . toString ( ) )
184181 . toString ( )
185182 . substring ( 7 ) ;
@@ -206,7 +203,6 @@ function runTest() {
206203 survey ( ) ;
207204 }
208205 }
209- updateStatus ( ) ;
210206 }
211207 ) ;
212208 } else if ( language . toLowerCase ( ) === "coq" ) {
@@ -220,7 +216,7 @@ function runTest() {
220216 } else current = 1 ;
221217 } ) ;
222218 }
223- } ) ;
219+ updateStatus ( ) ;
224220 }
225221}
226222
You can’t perform that action at this time.
0 commit comments