- checked and fixed usage of empty()

Marius Cramer

2015-05-22 86e6990d7e6f5634f83ef2a125e14cf08bac1dc0

 install/dist/lib/fedora.lib.php

@@ -51,7 +51,7 @@
         if (trim($line) != '' && substr($line, 0, 1) != '#')
         {
            @list($key, $value) = @explode("=", $line);
            if (!empty($value))
            if (isset($value) && $value !== '')
            {
               $key = rtrim($key);
               $old_options[$key] = trim($value);