Retain extension in source file name.

This commit is contained in:
James Roseborough
2009-11-10 17:22:51 +00:00
parent b45bc98b37
commit 699bcb2e48

View File

@@ -127,7 +127,7 @@ public class luajc {
processing = true; processing = true;
for ( int i=0; i<args.length; i++ ) { for ( int i=0; i<args.length; i++ ) {
if ( ! processing || ! args[i].startsWith("-") ) { if ( ! processing || ! args[i].startsWith("-") ) {
String chunkname = args[i].substring(0,args[i].length()-4); String chunkname = args[i];
processScript( new FileInputStream(args[i]), chunkname, fos ); processScript( new FileInputStream(args[i]), chunkname, fos );
} else if ( args[i].length() <= 1 ) { } else if ( args[i].length() <= 1 ) {
processScript( System.in, "stdin", fos ); processScript( System.in, "stdin", fos );