$ A.toAsciiBuilder "Inappropriate status code for a response: "
⊕ printStatusCode resStatus
- when ( resStatus â\89¡ MethodNotAllowed ∧
+ when ( resStatus â\89\88 MethodNotAllowed ∧
hasHeader "Allow" res )
$ abort'
$ A.toAsciiBuilder "The status was "
⊕ printStatusCode resStatus
⊕ A.toAsciiBuilder " but no \"Allow\" header."
- when ( resStatus â\89¢ NotModified ∧
- isRedirection resStatus ∧
+ when ( resStatus â\89\89 NotModified ∧
+ isRedirection resStatus ∧
hasHeader "Location" res )
$ abort'
$ A.toAsciiBuilder "The status code was "