Warning: session_start(): open(/var/lib/php/sessions/sess_3gn886gnnijdl5lg27c0f39m5m, 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
result = directJava("#216") -- GetNumberOfProcessors.java --print(type(result)) procs = result() print("Number of processors on this machine: "..procs) print(type(procs)) if type(procs) == 'number' and procs >= 1 then print 'OK!' end