diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2017-11-06 17:12:43 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2017-11-06 17:12:43 +0000 |
| commit | 42a499ad12082a8248459bb286d33563893440f9 (patch) | |
| tree | 8c6c2ac6f978b4f678ce9872efaa54aa79e19a71 | |
| parent | 9e9858b491cd4fdb1e9e6756a56d8e924434bb58 (diff) | |
| download | boca-42a499ad12082a8248459bb286d33563893440f9.tar.gz boca-42a499ad12082a8248459bb286d33563893440f9.zip | |
smaller delay of cache
| -rw-r--r-- | src/team/run.php | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/src/team/run.php b/src/team/run.php index 61d3a84..077b76c 100644 --- a/src/team/run.php +++ b/src/team/run.php @@ -15,7 +15,6 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see <http://www.gnu.org/licenses/>. //////////////////////////////////////////////////////////////////////////////// -// Last modified 12/aug/2017 by cassio@ime.usp.br require('header.php'); $ds = DIRECTORY_SEPARATOR; if($ds=="") $ds = "/"; @@ -290,7 +289,7 @@ $runtmp = $_SESSION["locr"] . $ds . "private" . $ds . "runtmp" . $ds . "run-cont "-site". $_SESSION["usertable"]["usersitenumber"] . "-user" . $_SESSION["usertable"]["usernumber"] . ".php"; $redo = TRUE; if(!isset($_SESSION['forceredo']) || $_SESSION['forceredo']==false) { - $actualdelay = 30; + $actualdelay = 15; if(file_exists($runtmp)) { if(isset($strtmp) || (($strtmp = file_get_contents($runtmp,FALSE,NULL,-1,1000000)) !== FALSE)) { list($d) = sscanf($strtmp,"%*s %d"); |