PCFilename.st
branchjv
changeset 20728 83c74234945e
parent 20579 9add81aadb7a
parent 20684 0108c84bfea1
child 21024 8734987eb5c7
--- a/PCFilename.st	Tue Oct 25 12:31:42 2016 +0100
+++ b/PCFilename.st	Tue Oct 25 12:35:02 2016 +0100
@@ -1,3 +1,5 @@
+"{ Encoding: utf8 }"
+
 "
  COPYRIGHT (c) 1997 by eXept Software AG
 	      All Rights Reserved
@@ -601,7 +603,7 @@
         ^ true.
     ].
 
-    (self suffix asLowercase = 'bat') ifTrue:[
+    (#('bat' 'cmd') includes:self suffix asLowercase) ifTrue:[
         ^ (OperatingSystem isValidPath:osName)      
             and:[(OperatingSystem isDirectory:osName) not].
     ].