changeset 8:6c62142a8b93

Mapping fixes
author Chris Cannam
date Thu, 02 Nov 2017 10:42:33 +0000
parents d100023520b4
children 42416d3dc358
files peel/urispace/Makefile peel/urispace/log.pl peel/urispace/peel_mapping.pl peel/urispace/run.pl
diffstat 4 files changed, 5 insertions(+), 5 deletions(-) [+]
line wrap: on
line diff
--- 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/
--- 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),
--- 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
  */
 
 
--- 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).