From 2f96eb21d9d6806306e98ee80636cea75b7e1507 Mon Sep 17 00:00:00 2001 From: nathan Date: Wed, 12 Oct 2016 20:38:08 +0200 Subject: [PATCH] Added exception for when the gnome shell extension.js file is not found --- src/dorkbox/systemTray/linux/GnomeShellExtension.java | 4 ++++ 1 file changed, 4 insertions(+) diff --git a/src/dorkbox/systemTray/linux/GnomeShellExtension.java b/src/dorkbox/systemTray/linux/GnomeShellExtension.java index e042054..c5ef0eb 100644 --- a/src/dorkbox/systemTray/linux/GnomeShellExtension.java +++ b/src/dorkbox/systemTray/linux/GnomeShellExtension.java @@ -166,6 +166,10 @@ class GnomeShellExtension { reader = GnomeShellExtension.class.getResourceAsStream("extension.js"); fileOutputStream = new FileOutputStream(extensionFile); + if (reader == null) { + throw new RuntimeException("The GnomeShell extension.js file cannot be found. Something is severely wrong."); + } + IO.copyStream(reader, fileOutputStream); } finally { IO.close(reader, logger);