diff options
Diffstat (limited to 'net/adasockets/files/patch-src_sockets-utils.adb')
-rw-r--r-- | net/adasockets/files/patch-src_sockets-utils.adb | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/net/adasockets/files/patch-src_sockets-utils.adb b/net/adasockets/files/patch-src_sockets-utils.adb new file mode 100644 index 000000000000..4033ca11df8a --- /dev/null +++ b/net/adasockets/files/patch-src_sockets-utils.adb @@ -0,0 +1,17 @@ +--- src/sockets-utils.adb.orig 2012-04-26 14:54:46.000000000 +0000 ++++ src/sockets-utils.adb +@@ -73,10 +73,10 @@ package body Sockets.Utils is + declare + Current : Character renames Something (Index); + begin +- if (Current < '0' +- or else Current > '9') +- and then Current /= '.' then +- return False; ++ if Current < '0' or else Current > '9' then ++ if Current /= '.' then ++ return False; ++ end if; + end if; + end; + end loop; |