# HG changeset patch # User Chris Cannam # Date 1509619353 0 # Node ID 6c62142a8b93201c278067bec140cf2c9d6e855d # Parent d100023520b4d523cdfd83f58dc17ba242ab5eb8 Mapping fixes diff -r d100023520b4 -r 6c62142a8b93 peel/urispace/Makefile --- a/peel/urispace/Makefile Thu Nov 02 10:37:03 2017 +0000 +++ b/peel/urispace/Makefile Thu Nov 02 10:42:33 2017 +0000 @@ -1,7 +1,7 @@ # Makefile for P2R dist: clean - mkdir dist && tar czvf dist/urispace.tar.gz ../urispace/urispace.pl ../urispace/run.pl ../urispace/mapping.pl ../urispace/config.pl ../urispace/jamendo_mapping.pl ../urispace/log.pl ../urispace/Makefile ../urispace/gpl.txt + mkdir dist && tar czvf dist/urispace.tar.gz ../urispace/urispace.pl ../urispace/run.pl ../urispace/mapping.pl ../urispace/config.pl ../urispace/peel_mapping.pl ../urispace/log.pl ../urispace/Makefile ../urispace/gpl.txt clean: rm -rdf dist/ diff -r d100023520b4 -r 6c62142a8b93 peel/urispace/log.pl --- a/peel/urispace/log.pl Thu Nov 02 10:37:03 2017 +0000 +++ b/peel/urispace/log.pl Thu Nov 02 10:42:33 2017 +0000 @@ -5,7 +5,7 @@ :- module(log,[log/1,log/2]). -log_file('jamendo-uri.log'). +log_file('peel-uri.log'). log(MessageFormat,Vars) :- sformat(String,MessageFormat,Vars), diff -r d100023520b4 -r 6c62142a8b93 peel/urispace/peel_mapping.pl --- a/peel/urispace/peel_mapping.pl Thu Nov 02 10:37:03 2017 +0000 +++ b/peel/urispace/peel_mapping.pl Thu Nov 02 10:42:33 2017 +0000 @@ -1,7 +1,7 @@ -:- module(jamendo_mapping,[]). +:- module(peel_mapping,[]). /** - * Jamendo mapping for 303 redirects + * Peel mapping for 303 redirects */ diff -r d100023520b4 -r 6c62142a8b93 peel/urispace/run.pl --- a/peel/urispace/run.pl Thu Nov 02 10:37:03 2017 +0000 +++ b/peel/urispace/run.pl Thu Nov 02 10:42:33 2017 +0000 @@ -1,7 +1,7 @@ #!/usr/local/bin/swipl -s :- use_module(urispace). -:- use_module(jamendo_mapping). +:- use_module(peel_mapping).