changeset 2019:cbc5a66217d7 default tip

windows fix
author Franklin Schmidt <fschmidt@gmail.com>
date Fri, 03 Oct 2025 18:28:21 -0600
parents 5203eb9b0e02
children
files src/luan/modules/IoLuan.java
diffstat 1 files changed, 3 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- a/src/luan/modules/IoLuan.java	Fri Oct 03 16:45:33 2025 -0600
+++ b/src/luan/modules/IoLuan.java	Fri Oct 03 18:28:21 2025 -0600
@@ -477,9 +477,11 @@
 			return file.exists();
 		}
 
+		private static final boolean isWindows = System.getProperty("os.name").toLowerCase().contains("win");
+
 		@Override public long checksum() throws IOException, LuanException {
 			long rtn = super.checksum();
-			if( file.canExecute() )
+			if( !isWindows && file.canExecute() )
 				rtn *= 31;
 			return rtn;
 		}