diff options
| author | Cassio de Campos <cassiopc@gmail.com> | 2017-08-29 11:27:40 +0000 |
|---|---|---|
| committer | Cassio de Campos <cassiopc@gmail.com> | 2017-08-29 11:27:40 +0000 |
| commit | a8f4723c268d3bf0d42bd4a3a79d0d5d5dfd465d (patch) | |
| tree | ce07faec23d807b21b9d5e309b35d455f1b7c256 /src/staff/header.php | |
| parent | 7191e76649dbb207db26b59271cb6e16cc427bc6 (diff) | |
| download | boca-a8f4723c268d3bf0d42bd4a3a79d0d5d5dfd465d.tar.gz boca-a8f4723c268d3bf0d42bd4a3a79d0d5d5dfd465d.zip | |
bug fixes and speed up runs
Diffstat (limited to 'src/staff/header.php')
| -rw-r--r-- | src/staff/header.php | 4 |
1 files changed, 2 insertions, 2 deletions
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 <http://www.gnu.org/licenses/>. //////////////////////////////////////////////////////////////////////////////// -// 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 " <tr>\n"; echo " <td align=center width=\"20%\"><a class=menu style=\"font-weight:bold\" href=task.php>Tasks</a></td>\n"; //echo " <td align=center width=\"20%\"><a class=menu style=\"font-weight:bold\" href=task.php>Tasks ($nr)</a></td>\n"; echo " <td align=center width=\"20%\"><a class=menu style=\"font-weight:bold\" href=score.php>Score</a></td>\n"; -echo " <td align=center width=\"20%\"><a class=menu style=\"font-weight:bold\" href=run.php>Runs</a></td>\n"; +//echo " <td align=center width=\"20%\"><a class=menu style=\"font-weight:bold\" href=run.php>Runs</a></td>\n"; echo " <td align=center width=\"20%\"><a class=menu style=\"font-weight:bold\" href=option.php>Options</a></td>\n"; echo " <td align=center width=\"20%\"><a href=\"#\" class=menu style=\"font-weight:bold\" onClick=\"window.open('report/stat.php', ". |