summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
374d09f)
Signed-off-by: Anders Kaseorg <andersk@mit.edu>
return $ if parseHTTPDate ir == Just mTime then Just () else Nothing
parseRange :: String -> FileOffset -> Maybe (FileOffset, FileOffset)
return $ if parseHTTPDate ir == Just mTime then Just () else Nothing
parseRange :: String -> FileOffset -> Maybe (FileOffset, FileOffset)
+parseRange (splitAt 6 -> ("bytes=", '-':(readDec -> [(len, "")]))) size =
+ Just (max 0 (size - len), size - 1)
parseRange (splitAt 6 -> ("bytes=", readDec -> [(a, "-")])) size =
Just (a, size - 1)
parseRange (splitAt 6 -> ("bytes=", readDec -> [(a, '-':(readDec -> [(b, "")]))])) size =
parseRange (splitAt 6 -> ("bytes=", readDec -> [(a, "-")])) size =
Just (a, size - 1)
parseRange (splitAt 6 -> ("bytes=", readDec -> [(a, '-':(readDec -> [(b, "")]))])) size =