static double autoRestart_interval = 10; static bool autoRestart_on, autoRestart_debug; static void autoRestart() { if (autoRestart_on) ret; set autoRestart_on; autoRestart_schedule(); preloadProgramTitle(); } svoid autoRestart_schedule { doLater_daemon(toMS(autoRestart_interval), f autoRestart_check); } svoid autoRestart_check { try { S newMD5 = getServerTranspilationMD5(programID()); if (!isMD5(newMD5)) { if (autoRestart_debug) print("autoRestart: no server transpilation"); ret; } S localMD5 = md5(loadCachedTranspilation(programID())); if (neq(localMD5, newMD5)) { if (!hasServerDex(programID())) { if (autoRestart_debug) print("autoRestart: Compilation failed"); ret; } infoBox("Upgrading " + programTitle()); restartWithDelay(1000); sleep(); } } finally { if (autoRestart_debug) print("autoRestart: Done"); autoRestart_schedule(); } }
Began life as a copy of #1010683
download show line numbers debug dex old transpilations
Travelled to 13 computer(s): aoiabmzegqzx, bhatertpkbcr, cbybwowwnfue, cfunsshuasjs, gwrvuhgaqvyk, ishqpsrjomds, lpdgvwnxivlt, mqqgnosmbjvj, pyentgdyhuwx, pzhvpgtvlbxg, tslmcundralx, tvejysmllsmz, vouqrxazstgt
No comments. add comment
| Snippet ID: | #1010694 | 
| Snippet name: | autoRestart v1 - auto-restart program on server change | 
| Eternal ID of this version: | #1010694/1 | 
| Text MD5: | c930aa0db132e44d688dd9111b53e053 | 
| Author: | stefan | 
| Category: | javax | 
| Type: | JavaX fragment (include) | 
| Public (visible to everyone): | Yes | 
| Archived (hidden from active list): | No | 
| Created/modified: | 2017-09-25 19:30:09 | 
| Source code size: | 971 bytes / 34 lines | 
| Pitched / IR pitched: | No / No | 
| Views / Downloads: | 626 / 690 | 
| Referenced in:- |