]> 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)
1  2 
cgilite/file.sh

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