Warning: session_start(): open(/var/lib/php/sessions/sess_4cbg8bfe5vkquo9cpgtlu4p41k, O_RDWR) failed: No space left on device (28) in /var/www/tb-usercake/models/config.php on line 51
Warning: session_start(): Failed to read session data: files (path: /var/lib/php/sessions) in /var/www/tb-usercake/models/config.php on line 51
!7
set flag FastLisp.
static S intern(S s) { ret internPerProgram(s); }
p {
vmStartTime_sys(); // force JavaX upgrade early
L webs = allIndexedWebs();
Class module = hotwire(programID());
poorMansProfiling(100);
time "Export" {
quickExport(webs, module);
}
poorMansProfiling_stop();
print("Total runtime: " + toS(sysNow()-vmStartTime_sys(), 1) + " s"
+ " (" + toS(sysNow()-programLoadTime_sys(), 1) + " s in program)");
poorMansProfiling_saveResults();
poorMansProfiling_printInnermostFunctions();
}