Nasal: remove /tmp/*.xml from allowed paths list

Appears unused, and shouldn't be used on Windows

diff --git a/src/Main/util.cxx b/src/Main/util.cxx
index c3bcdfec76e53a55bea850260d99d90b03bb0df3..a3ea1b9e8faa0f58b0dc388ba243c941e5132cc6 100644 (file)
--- a/src/Main/util.cxx
+++ b/src/Main/util.cxx
@@ -140,7 +140,6 @@ void fgInitAllowedPaths()
             exit(-1);
         }
     }
-    write_allowed_paths.push_back("/tmp/*.xml");
     write_allowed_paths.push_back(fg_home + "/*.sav");
     write_allowed_paths.push_back(fg_home + "/*.log");
     write_allowed_paths.push_back(fg_home + "/cache/*");