Fixing library include option.

michelf · Nov 29, 2013 · fc14783 · fc14783
1 parent 97eb69d
commit fc14783
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/mdtest.php b/mdtest.php
@@ -116,7 +116,9 @@ function millisec() {
 			require DIRECTORY_SEPARATOR .
 				preg_replace('{\\\\|_(?!.*\\\\)}', DIRECTORY_SEPARATOR, ltrim($class, '\\')).'.php';
 		});
-	} else if (!is_file($lib)) {
+	} else if (is_file($lib)) {
+		include_once $lib;
+	} else {
 		exit("$argv[0]: library '$lib' does not exist.\n");
 	}