From: Martin Mares Date: Fri, 29 Jun 2007 15:49:14 +0000 (+0200) Subject: Record local history in the GUI, too. X-Git-Tag: python-dummy-working~327^2~5 X-Git-Url: http://mj.ucw.cz/gitweb/?a=commitdiff_plain;h=41ef8f74a24aa9b9fa230a4aa552b7883e8da1df;p=moe.git Record local history in the GUI, too. --- diff --git a/submit/contest b/submit/contest index a762d9c..8e7f3f2 100755 --- 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("Submitting"); $subwin->show_all;