diff options
| author | Piotr Strzelczyk <piotr@eps.gda.pl> | 2010-03-31 21:30:45 +0000 |
|---|---|---|
| committer | Piotr Strzelczyk <piotr@eps.gda.pl> | 2010-03-31 21:30:45 +0000 |
| commit | 7d673020a0342d44ad1bf794091640447dc67d88 (patch) | |
| tree | 108486df12730ae8179170d951fa403b1c3aef60 /Master/bin/win32 | |
| parent | 489ea12ee16129f73ccc8c3e1e9e8e86d874a59a (diff) | |
fixed fatal bug in extention_map definition for GUI mode
git-svn-id: svn://tug.org/texlive/trunk@17642 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/win32')
| -rw-r--r-- | Master/bin/win32/runscript.tlu | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/Master/bin/win32/runscript.tlu b/Master/bin/win32/runscript.tlu index d638fc9ce44..40e9577fc06 100644 --- a/Master/bin/win32/runscript.tlu +++ b/Master/bin/win32/runscript.tlu @@ -1,8 +1,8 @@ -- $Id$ -local svnrevision = string.match("$Revision$ 0", "%d+") -local svndate = string.match("$Date$ 2009-12-04", "[-%d]+") +local svnrevision = string.match("$Revision$", "%d+") or "0" +local svndate = string.match("$Date$", "[-%d]+") or "2009-12-04" local bannerstr = "runscript wrapper utility (rev. " .. svnrevision .. ", " .. svndate .. ")\n" .. "usage: runscript script-name [arguments]\n" .. @@ -178,6 +178,8 @@ local docstr = [[ - changed command validation to handle a list of commands - prepend GUI mode command(s) to the command list - added support for .tcl scripts + 2010/03/31 + - fixed fatal bug in extention_map definition for GUI mode ]] -- HELPER SUBROUTINES --
@@ -484,7 +486,6 @@ local extension_map = { if guimode then -- for GUI mode wrappers we try GUI mode interpeters where possible extension_map['.jar'][1] = 'javaw.exe ' .. extension_map['.jar'][1] - extension_map['.js' ][1] = 'wscript.exe ' .. extension_map['.js' ][1] extension_map['.pl' ][1] = 'wperl.exe ' .. extension_map['.pl' ][1] extension_map['.py' ][1] = 'pythonw.exe ' .. extension_map['.py' ][1] extension_map['.py' ][1] = 'rubyw.exe ' .. extension_map['.py' ][1] |