commit 1dd29606b69279605f42b715e491aaf8cd0fea60
author Max Kirillov <max@max630.net> Wed Mar 04 05:58:17 2015 +0200
committer Paul Mackerras <paulus@samba.org> Sun Mar 15 14:14:22 2015 +1100
tree bddf014e0601552519e68361b5c4c06676fe2bc3
parent 995f792b992affdcea9489f063392557de2b3753

gitk: Report errors in saving config file

Signed-off-by: Max Kirillov <max@max630.net>
Signed-off-by: Paul Mackerras <paulus@samba.org>

gitk

diff --git a/gitk b/gitk
index 3425066..26a7db4 100755
--- a/gitk
+++ b/gitk
@@ -2818,7 +2818,7 @@
 
     if {$stuffsaved} return
     if {![winfo viewable .]} return
-    catch {
+    if {[catch {
 	if {[file exists $config_file_tmp]} {
 	    file delete -force $config_file_tmp
 	}
@@ -2884,6 +2884,8 @@
 	puts $f "}"
 	close $f
 	file rename -force $config_file_tmp $config_file
+    } err]} {
+        puts "Error saving config: $err"
     }
     set stuffsaved 1
 }