annotate peel/urispace/config.pl @ 27:d95e683fbd35 tip

Enable CORS on urispace redirects as well
author Chris Cannam
date Tue, 20 Feb 2018 14:52:02 +0000
parents d100023520b4
children
rev   line source
Chris@7 1 :-module(config,[port/1]).
Chris@7 2
Chris@7 3 port(3031).
Chris@7 4
Chris@7 5
Chris@7 6
Chris@7 7