webkitpdf.vala

diff --git a/webkitpdf.vala b/webkitpdf.vala
index 1533f6e..c0f50b4 100644 (file)
--- a/webkitpdf.vala
+++ b/webkitpdf.vala
@@ -23,7 +23,7 @@ public class webkitpdf {
         Gtk.init(ref args);
                
                unowned string proxy = Environment.get_variable ("http_proxy");
-               if (proxy.length > 0) {
+               if (proxy != null && proxy.length > 0) {
                        var sess = WebKit.get_default_session();
                        sess.proxy_uri = new Soup.URI(proxy);
                }