# HG changeset patch
# User naitsirhc
# Date 1331256377 0
# Node ID ed7b79682effdb554962f75ebdbe88b62ce0a724
# Parent  5f3ac6d0bd754e3e763f3dc03f48579b557c48e8
added gettext to refresh

diff -r 5f3ac6d0bd75 -r ed7b79682eff index.cgi
--- a/index.cgi	Fri Mar 09 01:24:38 2012 +0000
+++ b/index.cgi	Fri Mar 09 01:26:17 2012 +0000
@@ -148,7 +148,7 @@
 	*\ top\ *)
 		TITLE="- $(gettext "Process activity")"
 		xhtml_header
-		echo 'Refresh: ' $(GET refresh)
+		echo `gettext "Refresh: "` $(GET refresh)
 		echo '<br/>
 <form method="get">
 	<input type="hidden" name="top"/>