From a8f4723c268d3bf0d42bd4a3a79d0d5d5dfd465d Mon Sep 17 00:00:00 2001 From: Cassio de Campos Date: Tue, 29 Aug 2017 12:27:40 +0100 Subject: bug fixes and speed up runs --- src/staff/header.php | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'src/staff/header.php') diff --git a/src/staff/header.php b/src/staff/header.php index 1f22259..650489c 100644 --- a/src/staff/header.php +++ b/src/staff/header.php @@ -15,7 +15,7 @@ // You should have received a copy of the GNU General Public License // along with this program. If not, see . //////////////////////////////////////////////////////////////////////////////// -// Last modified 05/aug/2012 by cassio@ime.usp.br +// Last modified 29/aug/2017 by cassio@ime.usp.br ob_start(); header ("Expires: " . gmdate("D, d M Y H:i:s") . " GMT"); header ("Last-Modified: " . gmdate("D, d M Y H:i:s") . " GMT"); @@ -67,7 +67,7 @@ echo " \n"; echo " Tasks\n"; //echo " Tasks ($nr)\n"; echo " Score\n"; -echo " Runs\n"; +//echo " Runs\n"; echo " Options\n"; echo "