# HG changeset patch # User Christophe Lincoln # Date 1488254924 -3600 # Node ID 3b1e2a5f6d8500a40a642f0667c5e105621239f1 # Parent 45dbee98543d5c39d623c98e5aaa048a556ac8fa Fix plugins listing in dashbord diff -r 45dbee98543d -r 3b1e2a5f6d85 plugins/dashboard/dashboard.cgi --- a/plugins/dashboard/dashboard.cgi Mon Feb 27 12:19:10 2017 +0100 +++ b/plugins/dashboard/dashboard.cgi Tue Feb 28 05:08:44 2017 +0100 @@ -57,14 +57,16 @@ EOT for p in $(ls -1 $plugins) do - . $plugins/$p/$p.conf - cat << EOT + if [ -f "$plugins/${p}/${p}.conf" ]; then + . $plugins/${p}/${p}.conf + cat << EOT $PLUGIN $SHORT_DESC TODO EOT + fi done echo "" fi