changeset 58:085078c8b516

Update settings.
author samer
date Wed, 20 May 2015 16:53:55 +0100
parents 59f2caf60a37
children 0fff15c51019
files var/dml/settings.db
diffstat 1 files changed, 10 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/var/dml/settings.db	Wed May 20 16:48:49 2015 +0100
+++ b/var/dml/settings.db	Wed May 20 16:53:55 2015 +0100
@@ -1,5 +1,5 @@
 /*  Saved settings
-    Date: Sun Apr 26 10:49:40 2015
+    Date: Fri May 15 13:11:58 2015
 */
 
 
@@ -24,11 +24,17 @@
 %	IP addresses from which remotes are allowed to connect
 setting(pengines:allow_from, [*]).
 
-%	Pixels per inch for in browser figures
-setting(matlab:pixels_per_inch, 300).
-
 %	Soundfont directory
 setting(score:soundfont_dir, "~/lib/sounds/sf2").
 
 %	Fluidsynth initialisation file
 setting(score:fluidsynth_rc, genuser_fs).
+
+%	Pixels per inch for in browser figures
+setting(matlab:pixels_per_inch, 300).
+
+%	Keep information to support source-level debugging
+setting(swish:debug_info, true).
+
+%	Enables automatic semantic web searches for recognised URIs
+setting(crawler:enable_auto_crawl, false).