Record local history in the GUI, too.

diff --git a/submit/contest b/submit/contest
index a762d9c7248cc1f5a1afe06da40c0a9fe31646c2..8e7f3f24e75554c65c7854f9a858c73211364aad 100755 (executable)
--- a/submit/contest
+++ b/submit/contest
@@ -316,7 +316,7 @@ sub run_submit() {
 
        if (defined $conn->{"History"}) {
                busy("Submitting locally to " . $conn->{"History"});
-               my $err = $conn->local_submit($task, $part, $submit_extension, $submit_filename);
+               my $err = $conn->write_history($task, $part, $submit_extension, $submit_filename);
                if (defined $err) {
                        submit_failed("Recording to local history failed\n($err)");
                        return;
@@ -381,8 +381,6 @@ sub checks_ok() {
                return;
        }
 
-       ### FIXME: Record to local history here
-
        $status_label->set_markup("<span size='large'>Submitting</span>");
        $subwin->show_all;