From 9150b1d1f25a5f278ed44e4d3afe32de5ef8ccc3 Mon Sep 17 00:00:00 2001
From: Christian Weiske <cweiske@cweiske.de>
Date: Thu, 21 Aug 2014 17:01:33 +0200
Subject: [PATCH 1/1] tomdroid fix

---
 controller/guicontroller.php | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/controller/guicontroller.php b/controller/guicontroller.php
index f3fce6b..e3753d7 100644
--- a/controller/guicontroller.php
+++ b/controller/guicontroller.php
@@ -48,8 +48,11 @@ class GuiController extends Controller
     /**
      * Main page /
      *
+     * Tomdroid wants this to be a public page. Sync fails otherwise.
+     *
      * @NoAdminRequired
      * @NoCSRFRequired
+     * @PublicPage
      */
     public function index()
     {
-- 
2.30.2