From 2f592a80637d7e023ec667e3ba0cb9723c613700 Mon Sep 17 00:00:00 2001
From: reger <reger18@arcor.de>
Date: Sat, 4 Apr 2015 00:24:16 +0200
Subject: [PATCH] add SynonymLibrary status to DictionaryLoader_p servlet
 http://mantis.tokeek.de/view.php?id=564

---
 htroot/DictionaryLoader_p.java | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/htroot/DictionaryLoader_p.java b/htroot/DictionaryLoader_p.java
index e8e496e02..fd28c866a 100644
--- a/htroot/DictionaryLoader_p.java
+++ b/htroot/DictionaryLoader_p.java
@@ -60,6 +60,9 @@ public class DictionaryLoader_p {
             prop.put(dictionary.nickname + "ActionActivated", 0);
             prop.put(dictionary.nickname + "ActionDeactivated", 0);
         }
+        if (SynonymLibrary.size() > 0) { // status of SynonymLibrary not included in above
+            prop.put("syn0Status", 1);
+        }
 
         if (post == null) {
             return prop;