From 41ef8f74a24aa9b9fa230a4aa552b7883e8da1df Mon Sep 17 00:00:00 2001
From: Martin Mares <mj@ucw.cz>
Date: Fri, 29 Jun 2007 17:49:14 +0200
Subject: [PATCH] Record local history in the GUI, too.

---
 submit/contest | 4 +---
 1 file changed, 1 insertion(+), 3 deletions(-)

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("<span size='large'>Submitting</span>");
 	$subwin->show_all;
 
-- 
2.39.2