web/ldtplatform/settings.py
changeset 538 fe030de531a6
parent 501 5b198be85d50
child 552 6fbf608bd2a7
--- a/web/ldtplatform/settings.py	Mon Feb 06 13:18:01 2012 +0100
+++ b/web/ldtplatform/settings.py	Mon Feb 06 15:02:21 2012 +0100
@@ -178,7 +178,9 @@
 ACCOUNT_ACTIVATION_DAYS = 7 
 
 LDT_MAX_SEARCH_NUMBER = 50
-LDT_JSON_DEFAULT_INDENT = 2
+LDT_JSON_DEFAULT_INDENT = 0
+LDT_MAX_FRAGMENT_PER_SEARCH = 3
+LDT_RESULTS_PER_PAGE = 10
 
 OAUTH_PROVIDER_KEY_SIZE = 32
 OAUTH_PROVIDER_SECRET_SIZE = 32
@@ -229,6 +231,13 @@
 PUBLIC_GROUP_NAME = 'everyone'
 MAX_USERS_SEARCH = 20
 
+SYNTAX = {
+          '++' : 'OK',
+          '--' : 'KO',
+          '==' : 'REF',
+          '??' : 'Q'
+          }
+
 
 from config import *