From 42a499ad12082a8248459bb286d33563893440f9 Mon Sep 17 00:00:00 2001 From: Cassio de Campos Date: Mon, 6 Nov 2017 18:12:43 +0100 Subject: smaller delay of cache --- src/team/run.php | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) (limited to 'src/team') 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 . //////////////////////////////////////////////////////////////////////////////// -// 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"); -- cgit v1.2.3