From 3bf80a0bdd5768ccccda20c2f159e8e6198233c6 Mon Sep 17 00:00:00 2001 From: Doug Kearns Date: Sun, 28 Sep 2008 12:10:54 +0000 Subject: [PATCH] fix :source error message --- content/io.js | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/content/io.js b/content/io.js index ab984b43..25bffcd1 100644 --- a/content/io.js +++ b/content/io.js @@ -764,7 +764,7 @@ lookup: { if (!silent) { - if (file.isDirectory()) + if (file.exists() && file.isDirectory()) liberator.echomsg("Cannot source a directory: \"" + filename + "\"", 0); else liberator.echomsg("could not source: \"" + filename + "\"", 1);