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

Enable CORS on urispace redirects as well
author Chris Cannam
date Tue, 20 Feb 2018 14:52:02 +0000
parents 6c62142a8b93
children
rev   line source
Chris@7 1 #!/usr/local/bin/swipl -s
Chris@7 2
Chris@7 3 :- use_module(urispace).
Chris@8 4 :- use_module(peel_mapping).
Chris@7 5
Chris@7 6
Chris@7 7
Chris@7 8 :-
Chris@7 9 init.
Chris@7 10