]> git.plutz.net Git - shellwiki/commitdiff
Merge commit '6cad92ff5e47a72f20b341007584eed211bbbfb2'
authorPaul Hänsch <paul@plutz.net>
Tue, 6 Feb 2024 15:21:06 +0000 (16:21 +0100)
committerPaul Hänsch <paul@plutz.net>
Tue, 6 Feb 2024 15:21:06 +0000 (16:21 +0100)
cgilite/file.sh

index 20990d36474492f700dd5fc60bafc5dbf12f548b..8d810b5d472b0a43db49181f1820dd5e4bad1d08 100755 (executable)
@@ -83,7 +83,7 @@ FILE(){
 
   range="${HTTP_RANGE#bytes=}"
   case "$range" in
-    *[^0-9]*-*|*-*[^0-9]*)
+    *[!0-9]*-*|*-*[!0-9]*)
       range=""
       ;;
     *-)