Commit Briefs

Omar Polo

error if no proxies are defined

diff | patch | tree

Omar Polo

error on duplicate proxies

diff | patch | tree

Omar Polo

use %token and not %type for NUMBER and STRING

diff | patch | tree

Omar Polo

error if no `source' is defined for a proxy

diff | patch | tree

Omar Polo

default `hostname' to the source host

diff | patch | tree

Omar Polo

make the port number optional and keep it as string

diff | patch | tree

Omar Polo

simplify the configuration format

don't require the awkward `server' block, just use a `proxy' block: proxy { source address port xyz hostname foo stylesheet "URL" }

diff | patch | tree

Omar Polo

link the specified stylesheet (if any)

diff | patch | tree

Omar Polo

initial import

diff | patch | tree