diff --git a/app/provision/resources/classes/provision.php b/app/provision/resources/classes/provision.php
index 082d70c7b4..d5fa784214 100644
--- a/app/provision/resources/classes/provision.php
+++ b/app/provision/resources/classes/provision.php
@@ -697,10 +697,13 @@ include "root.php";
else {
//make sure the file exists
if (!file_exists($template_dir."/".$device_template ."/".$file)) {
- echo "file not found: $template_dir/$device_template/$file
";
- echo "template_dir: $template_dir
";
- echo "device_template: $device_template
";
- echo "file: $file";
+ echo "file not found";
+ if ($_SESSION['provision']['debug']['boolean'] == 'true'){
+ echo ":$template_dir/$device_template/$file
";
+ echo "template_dir: $template_dir
";
+ echo "device_template: $device_template
";
+ echo "file: $file";
+ }
exit;
}
}