From 9a11d23c8855dc62a785d30a5f5c36d26115dfb2 Mon Sep 17 00:00:00 2001 From: Cassio de Campos Date: Fri, 10 Nov 2017 16:46:45 +0000 Subject: bf --- src/fcontest.php | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) (limited to 'src/fcontest.php') diff --git a/src/fcontest.php b/src/fcontest.php index 29b5ed9..e61631b 100644 --- a/src/fcontest.php +++ b/src/fcontest.php @@ -125,6 +125,10 @@ CREATE TABLE \"sitetimetable\" ( $r = DBexec($c, "CREATE INDEX \"sitetimesite_index\" ON \"sitetimetable\" USING btree ". "(\"contestnumber\" int4_ops, \"sitenumber\" int4_ops)", "DBCreateSiteTimeTable(create site_index)"); } +// begin; update answertable set updatetime=EXTRACT(EPOCH FROM now()); +// begin; update langtable set updatetime=EXTRACT(EPOCH FROM now()); select * from langtable; +// begin; update problemtable set updatetime=EXTRACT(EPOCH FROM now()); select * from problemtable; + function DBDropUserTable() { $c = DBConnect(); $r = DBExec($c, "drop table \"usertable\"", "DBDropUserTable(drop table)"); @@ -298,8 +302,8 @@ function cleanuserdesc($a) { $inst = explode('[',$inst[1]); if(isset($inst[1])) { $inst2 = explode(',',trim($inst[1])); - $a['userflag'] = $inst2[0]; - if(isset($inst2[1])) $a['usersitename']=trim($inst2[1]); + $a['userflag'] = strtolower($inst2[0]); + if(isset($inst2[1])) $a['usersitename']=strtoupper(trim($inst2[1])); } } else { $a['userdesc']=trim($inst[1]); -- cgit v1.2.3