diff src/goodjava/webserver/examples/Headers.java @ 1414:4abf88ec66de

add Http.is_serving
author Franklin Schmidt <fschmidt@gmail.com>
date Tue, 08 Oct 2019 12:17:31 -0600
parents 27efb1fcbcb5
children fa066aaa068c
line wrap: on
line diff