From 45f1827fb7ed57a4e24025194fd35683c73593dd Mon Sep 17 00:00:00 2001
From: Steven Hammerton <steven.hammerton@openmarket.com>
Date: Wed, 4 Nov 2015 23:32:30 +0000
Subject: [PATCH] Add service URL to CAS config

---
 synapse/config/cas.py | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/synapse/config/cas.py b/synapse/config/cas.py
index a337ae6ca..3f22fbfb4 100644
--- a/synapse/config/cas.py
+++ b/synapse/config/cas.py
@@ -27,10 +27,12 @@ class CasConfig(Config):
         if cas_config:
             self.cas_enabled = cas_config.get("enabled", True)
             self.cas_server_url = cas_config["server_url"]
+            self.cas_service_url = cas_config["service_url"]
             self.cas_required_attributes = cas_config.get("required_attributes", {})
         else:
             self.cas_enabled = False
             self.cas_server_url = None
+            self.cas_service_url = None
             self.cas_required_attributes = {}
 
     def default_config(self, config_dir_path, server_name, **kwargs):
@@ -39,6 +41,7 @@ class CasConfig(Config):
         #cas_config:
         #   enabled: true
         #   server_url: "https://cas-server.com"
+        #   ticket_redirect_url: "https://homesever.domain.com:8448"
         #   #required_attributes:
         #   #    name: value
         """