When you loaded this page, the date and time was: $time.
END; } function printsubmitted($submiterrors) { $time = date("G:i:s M j Y"); $s = $_SERVER['PHP_SELF']; if ($submiterrors) { print <<You submission failed because something on the server is messed up. This is probably not your fault. If you see this error while you're trying to submit something, please email the submission to the professor instead.
END; #' print "Please tell the professor that an error occured, and paste in the output:
";
$e = print_r($submiterrors, true);
print htmlspecialchars($e);
print '';
print "Sorry for the inconvenience!
"; } else { print <<
Submission successful broccoli image licenced CC BY-NC by fir0002/Flagstaffotos at Wikimedia Commons
Your file was successfully uploaded at $time.
There is no way to retrieve or edit your submission. If you decide to make changes, you can re-upload your file at any time, and the professor will grade the latest one received at the due time.
If you're worried about which version the professor should grade, just send an email explaining everything.
Thanks!
You can close your browser window now, or visit another page.
END; #' } } #print_r($_FILES); #print_r($errors); #print_r($_POST); $file = $_FILES['file']['name']; $text = $_POST['text']; $name = $_POST['name']; printhead(); if (! $_POST) { printform('','',array()); } else { # validate the form. # $errors is an associative array of booleans, possibilities are: # $errors['noname'] - no name selected # $errors['nosubmission'] - no file or pasted text to submit # $errors['twosubmissions'] - both file and pasted text $errors = array(); if (! $name) { $errors['noname'] = true; } if ($text && $file) { $errors['twosubmissions'] = true; } if ((! $text) && (! $file)) { $errors['nosubmission'] = true; } # if errors, print the form again if ($errors) { printform($text, $name, $errors); } else { # valid submission # errors for the submission. These could be: # 'filemoveerror', tmp upload file not copied to final destination # 'otherupload', some other error from uploaded file, value from $_FILES['file']['error'] # 'texterror', some error from pasted text $submiterrors = array(); # prepare destination filename and path # path is: uploads/ # filename is the username and timestamp, e.g. staecker20130812231254.hs $filepath = "uploads/"; $filename = $name . date("YmdHis") . ".hs"; # pasted code if ($text) { # returns # of bytes written, or FALSE if failed $b = file_put_contents($filepath . $filename, $text); if (! $b) { $submiterrors['texterror'] = error_get_last(); } } # uploaded source file if ($_FILES['file']['name']) { //Filename as it was on the client computer. $oldfilename = $_FILES['file']['name']; //filetype $filetype = $_FILES['file']['type']; //error codes from the upload. $fileerror = $_FILES['file']['error']; //tempname as it is given by the host when uploaded. $filetemp = $_FILES['file']['tmp_name']; if(is_uploaded_file($filetemp)) { if(move_uploaded_file($filetemp, $filepath . $filename)) { # } else { $submiterrors['filemoveerror'] = true; } } else { # print_r($_FILES); $submiterrors['otherupload'] = $_FILES['file']['error']; } } # annotate file # at the head of the file goes text in Haskell comments # with time of submission, method of submission (paste or upload) # IP address of submitter, original file name if uploaded if (! $submiterrors) { global $commentprefix; $cp = $commentprefix; $time = date("G:i:s M j Y"); $s = "$cp Submitted by $name at $time\n"; if ($text) { $s = $s . "$cp submitted as pasted text\n"; } else if ($_FILES['file']['name']) { $s = $s . "$cp submitted as file upload, filename $oldfilename\n"; } $s = $s . "$cp submitted from " . $_SERVER['REMOTE_ADDR'] . "\n"; $s = $s . "\n--------------------------------\n\n"; $old = file_get_contents($filepath . $filename); file_put_contents($filepath . $filename, $s . $old); unlink($filepath . $name . "latest.hs"); symlink($filename, $filepath . $name . "latest.hs"); } # dump out the results page printsubmitted($submiterrors); } } print "