# HG changeset patch
# User samer
# Date 1432137235 -3600
# Node ID 085078c8b516ee3a56881a7d14f2f6e425e9cf82
# Parent  59f2caf60a3700252c8d6aa61396e0b48bd6d421
Update settings.

diff -r 59f2caf60a37 -r 085078c8b516 var/dml/settings.db
--- 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).