From 181554e59742c8326804145f657fa97541cbaa52 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ren=C3=A9=20Stadler?= <mail@renestadler.de>
Date: Mon, 26 Nov 2007 10:53:37 +0200
Subject: [PATCH] Gracefully handle errors when opening a file

---
 debug-viewer/GstDebugViewer/GUI.py | 40 ++++++++++++++++++++++++++----
 1 file changed, 35 insertions(+), 5 deletions(-)

diff --git a/debug-viewer/GstDebugViewer/GUI.py b/debug-viewer/GstDebugViewer/GUI.py
index f31fd42be0..13ae1cc5c2 100755
--- a/debug-viewer/GstDebugViewer/GUI.py
+++ b/debug-viewer/GstDebugViewer/GUI.py
@@ -1158,14 +1158,44 @@ class Window (object):
         else:
             self.logger.debug ("setting log file %r", filename)
 
-            self.log_model = LazyLogModel ()
-            self.log_filter = FilteredLogModel (self.log_model)
-
-            self.dispatcher = Common.Data.GSourceDispatcher ()
-            self.log_file = Data.LogFile (filename, self.dispatcher)
+            try:
+                self.log_model = LazyLogModel ()
+                self.log_filter = FilteredLogModel (self.log_model)
+                
+                self.dispatcher = Common.Data.GSourceDispatcher ()
+                self.log_file = Data.LogFile (filename, self.dispatcher)
+            except EnvironmentError, exc:
+                try:
+                    file_size = os.path.getsize (filename)
+                except EnvironmentError:
+                    pass
+                else:
+                    if file_size == 0:
+                        # Trying to mmap an empty file results in an invalid
+                        # argument error.
+                        self.show_error (_("Could not open file"),
+                                         _("The selected file is empty"))
+                        return
+                self.handle_environment_error (exc, filename)
+                return
             self.log_file.consumers.append (self)
             self.log_file.start_loading ()
 
+    def handle_environment_error (self, exc, filename):
+
+        self.show_error (_("Could not open file"), str (exc))
+
+    def show_error (self, message1, message2):
+
+        dialog = gtk.MessageDialog (self.gtk_window, gtk.DIALOG_MODAL, gtk.MESSAGE_ERROR,
+                                    gtk.BUTTONS_OK, message1)
+        # The property for secondary text is new in 2.10, so we use this clunky
+        # method instead.
+        dialog.format_secondary_text (message2)
+        dialog.set_default_response (0)
+        dialog.run ()
+        dialog.destroy ()
+
     def handle_log_view_button_press_event (self, view, event):
 
         if event.button != 3: