Avoid division by zero

asnyv · Apr 11, 2019 · 28d2be6 · 28d2be6
1 parent d3f5647
commit 28d2be6
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/python/python/ert_gui/ert_splash.py b/python/python/ert_gui/ert_splash.py
@@ -63,7 +63,9 @@ def drawContents(self, painter):
 
         image_width = self.splash_image.width()
         image_height = self.splash_image.height()
-        aspect = float(image_width) / float(image_height)
+        aspect = 1.0
+        if image_height:
+            aspect = float(image_width) / float(image_height)
 
         scaled_height = h - 2 * margin
         scaled_width = scaled_height * aspect