From abd80d385a05a9828d23af385347e605d07dce3f Mon Sep 17 00:00:00 2001 From: Luca Date: Sat, 7 Apr 2018 21:52:39 +0200 Subject: [PATCH 1/2] Make the arguments of os.epoch case-insensitive --- src/main/java/dan200/computercraft/core/apis/OSAPI.java | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/main/java/dan200/computercraft/core/apis/OSAPI.java b/src/main/java/dan200/computercraft/core/apis/OSAPI.java index 7ec4b6878c..bec16b9862 100644 --- a/src/main/java/dan200/computercraft/core/apis/OSAPI.java +++ b/src/main/java/dan200/computercraft/core/apis/OSAPI.java @@ -385,7 +385,7 @@ public Object[] callMethod( @Nonnull ILuaContext context, int method, @Nonnull O { // epoch String param = optString( args, 0, "ingame" ); - switch( param ) + switch( param.toLowerCase() ) { case "utc": { From 647e72fef3ac4fa2d2f719520404e57342ed7f3a Mon Sep 17 00:00:00 2001 From: Luca Date: Sat, 7 Apr 2018 22:29:34 +0200 Subject: [PATCH 2/2] os.time() and os.day() join the "Finally Case-Insensitive Party" --- src/main/java/dan200/computercraft/core/apis/OSAPI.java | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/src/main/java/dan200/computercraft/core/apis/OSAPI.java b/src/main/java/dan200/computercraft/core/apis/OSAPI.java index bec16b9862..5975bb81be 100644 --- a/src/main/java/dan200/computercraft/core/apis/OSAPI.java +++ b/src/main/java/dan200/computercraft/core/apis/OSAPI.java @@ -303,7 +303,7 @@ public Object[] callMethod( @Nonnull ILuaContext context, int method, @Nonnull O { // time String param = optString( args, 0, "ingame" ); - switch( param ) + switch( param.toLowerCase( Locale.ENGLISH ) ) { case "utc": { @@ -331,7 +331,7 @@ public Object[] callMethod( @Nonnull ILuaContext context, int method, @Nonnull O { // day String param = optString( args, 0, "ingame" ); - switch( param ) + switch( param.toLowerCase( Locale.ENGLISH ) ) { case "utc": { @@ -385,7 +385,7 @@ public Object[] callMethod( @Nonnull ILuaContext context, int method, @Nonnull O { // epoch String param = optString( args, 0, "ingame" ); - switch( param.toLowerCase() ) + switch( param.toLowerCase( Locale.ENGLISH ) ) { case "utc": {