diff --git a/src/app/webide/webide.component.ts b/src/app/webide/webide.component.ts index 3fe10a5..54eac1e 100644 --- a/src/app/webide/webide.component.ts +++ b/src/app/webide/webide.component.ts @@ -19,6 +19,7 @@ import { ProcessManagerService } from '../services/processmanager.service'; const modelist = brace.acequire('ace/ext/modelist'); const defaultSourceCode = `alert( 'Hello, world!' );`; +const autosave_interval = 10000; @Component({ selector: 'app-webide', @@ -48,7 +49,7 @@ export class WebideComponent implements OnInit { this.requestCode(); this.processManagerService.init(); this.processManagerService.subscribeCallback('login', (event) => { this.setButtonStateSaved(); }); - setInterval(() => { this.sendCodeIfDirty(); }, 10000); + setInterval(() => { this.sendCodeIfDirty(); }, autosave_interval); } subscribeWS() {