# HG changeset patch # User samer # Date 1426166089 0 # Node ID 06cb370e8aec1e10fb45bc68a6aabc9b5c12ecee # Parent d9a205bd28fac72c0ad2e05244f4e2118b809088 Print messages on persistent predicate db load; some changes to settings. diff -r d9a205bd28fa -r 06cb370e8aec var/dml/run.pl --- a/var/dml/run.pl Thu Mar 12 13:13:19 2015 +0000 +++ b/var/dml/run.pl Thu Mar 12 13:14:49 2015 +0000 @@ -64,4 +64,6 @@ ; true ). +:- debug(db). + diff -r d9a205bd28fa -r 06cb370e8aec var/dml/settings.db --- a/var/dml/settings.db Thu Mar 12 13:13:19 2015 +0000 +++ b/var/dml/settings.db Thu Mar 12 13:14:49 2015 +0000 @@ -1,5 +1,5 @@ /* Saved settings - Date: Mon Feb 23 11:29:19 2015 + Date: Fri Feb 27 10:05:16 2015 */ @@ -13,7 +13,7 @@ setting(listing:line_width, 100). % Number of server threads -setting(http:workers, 8). +setting(http:workers, 16). % Application name setting(htmlutils:appname, "DML"). @@ -27,8 +27,8 @@ % IP addresses from which remotes are allowed to connect setting(pengines:allow_from, [*]). -% Decoration for AudioFile URIs -setting(audio_ui:audiofile_decoration, player). +% Soundfont directory +setting(score:soundfont_dir, "~/lib/sounds/sf2"). % Pixels per inch for in browser figures setting(matlab:pixels_per_inch, 300).