bashclub/piler
1
0
Fork 0
mirror of https://bitbucket.org/jsuto/piler.git synced 2025-06-13 03:17:01 +02:00
Code Issues Packages Projects Releases Wiki Activity

util fixes

Browse Source
This commit is contained in:
SJ
2015-04-27 14:26:56 +02:00
parent ae53276622
commit b4805171a2
2 changed files with 9 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
util/generate_stats.php
View File

@ -6,6 +6,8 @@ $start = NULL;
$stop = NULL;
$timestart = microtime(true);
ini_set("session.save_path", "/tmp");
// get options from command line
$opts = 'h::';
$lopts = array(