Mercurial > hg > dbtune-rdf-services
changeset 4:eaec18f0b5f3
Path fixes
author | Chris Cannam |
---|---|
date | Fri, 20 Oct 2017 14:57:54 +0100 |
parents | f3e9387662bf |
children | fe9605031b11 |
files | jamendo/urispace/log.pl jamendo/urispace/run.pl magnatune/urispace/log.pl magnatune/urispace/run.pl |
diffstat | 4 files changed, 4 insertions(+), 5 deletions(-) [+] |
line wrap: on
line diff
--- a/jamendo/urispace/log.pl Fri Oct 20 11:02:21 2017 +0100 +++ b/jamendo/urispace/log.pl Fri Oct 20 14:57:54 2017 +0100 @@ -5,7 +5,7 @@ :- module(log,[log/1,log/2]). -log_file('/tmp/jamendo-uri.log'). +log_file('jamendo-uri.log'). log(MessageFormat,Vars) :- sformat(String,MessageFormat,Vars),
--- a/jamendo/urispace/run.pl Fri Oct 20 11:02:21 2017 +0100 +++ b/jamendo/urispace/run.pl Fri Oct 20 14:57:54 2017 +0100 @@ -1,4 +1,4 @@ -#!/usr/local/bin/pl -s +#!/usr/local/bin/swipl -s :- use_module(urispace). :- use_module(jamendo_mapping).
--- a/magnatune/urispace/log.pl Fri Oct 20 11:02:21 2017 +0100 +++ b/magnatune/urispace/log.pl Fri Oct 20 14:57:54 2017 +0100 @@ -5,7 +5,7 @@ :- module(log,[log/1,log/2]). -log_file('/home/yvesr/magnatune-uri.log'). +log_file('magnatune-uri.log'). log(MessageFormat,Vars) :- sformat(String,MessageFormat,Vars),