# HG changeset patch # User Christophe Lincoln # Date 1487814640 -3600 # Node ID 5b973f92e669f9c9363071ee0858176159a626dc # Parent b5820178a40bd09893541da87b897bcbb09b2b01 Small fix to dashboard diff -r b5820178a40b -r 5b973f92e669 plugins/dashboard/dashboard.cgi --- a/plugins/dashboard/dashboard.cgi Thu Feb 23 02:22:48 2017 +0100 +++ b/plugins/dashboard/dashboard.cgi Thu Feb 23 02:50:40 2017 +0100 @@ -18,7 +18,7 @@ DASHBOARD_TOOLS="" for p in $(ls $plugins) do - . $plugins/$p/$p.conf + [ -f "$plugins/$p/$p.conf" ] && . $plugins/$p/$p.conf done if check_auth && ! admin_user; then ADMIN_TOOLS=""