Merge branch 'master' into virgoPull

This commit is contained in:
AnonymousHybi
2018-03-25 00:32:28 +00:00
committed by GitHub
20 changed files with 163 additions and 256 deletions
+1 -1
View File
@@ -18,10 +18,10 @@
/proc/ext_python(var/script, var/args, var/scriptsprefix = 1)
if(scriptsprefix) script = "scripts/" + script
if(world.system_type == MS_WINDOWS)
script = replacetext(script, "/", "\\")
var/command = config.python_path + " " + script + " " + args
log_debug("ext_python: Sending [command] to shell")
shell("[command]")
return