Make 'file not found' message a warning

This commit is contained in:
Adrian Vollmer 2022-10-09 17:34:49 +02:00
parent 7a891bb14d
commit 9840d92932

View File

@ -144,7 +144,7 @@ var retrieve_file = function(path) {
var file_tree = window.global_context.file_tree;
var file = file_tree[path];
if (!file) {
console.log("File not found: " + path);
console.warn("File not found: " + path);
return "";
} else {
return file.data;