From 2a15d80476a0950e011a316c6a7beb8d57fcfda1 Mon Sep 17 00:00:00 2001
From: deuce <>
Date: Tue, 10 Feb 2009 09:53:06 +0000
Subject: [PATCH] Some minor fixes to filename parsing.
---
exec/typeasc.js | 5 ++---
1 file changed, 2 insertions(+), 3 deletions(-)
diff --git a/exec/typeasc.js b/exec/typeasc.js
index 3bc9e62211..4b8453cdaf 100644
--- a/exec/typeasc.js
+++ b/exec/typeasc.js
@@ -36,9 +36,8 @@ for(i in argv) {
break;
default:
if(this.f==undefined) {
- f = new File(file_getcase(argv[i]));
- filename=file_getcase(argv[i]);
- filename=filename.replace(/^.*[\\\/]/,'');
+ this.f = new File(file_getcase(argv[i]));
+ filename=this.f.name.replace(/^.*[\\\/]/,'');
}
}
}
--
GitLab