| Age | Commit message (Collapse) | Author |
|---|
|
The server now always uses port 80.
|
|
|
|
|
|
|
|
|
|
...now that we're in a destructor, it's clear.
|
|
|
|
|
|
|
|
|
|
|
|
It should be allowed to not have any grok stuff in the config file,
and we should generally call it grok rather than GPU in case
other non-grok GPU stuff arrives in the future.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
I think this makes sense, and also allows us to forward-declare the
contexts in a forthcoming commit.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
