001/** 002 * GRANITE DATA SERVICES 003 * Copyright (C) 2006-2013 GRANITE DATA SERVICES S.A.S. 004 * 005 * This file is part of the Granite Data Services Platform. 006 * 007 * Granite Data Services is free software; you can redistribute it and/or 008 * modify it under the terms of the GNU Lesser General Public 009 * License as published by the Free Software Foundation; either 010 * version 2.1 of the License, or (at your option) any later version. 011 * 012 * Granite Data Services is distributed in the hope that it will be useful, 013 * but WITHOUT ANY WARRANTY; without even the implied warranty of 014 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser 015 * General Public License for more details. 016 * 017 * You should have received a copy of the GNU Lesser General Public 018 * License along with this library; if not, write to the Free Software 019 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, 020 * USA, or see <http://www.gnu.org/licenses/>. 021 */ 022package org.granite.gravity.websocket; 023 024import javax.servlet.ServletContextEvent; 025import javax.servlet.ServletContextListener; 026 027public class PolicyFileServerListener implements ServletContextListener { 028 029 private PolicyFileServer server = null; 030 031 public void contextInitialized(ServletContextEvent sce) { 032 server = new PolicyFileServer(); 033 034 String serverPort = sce.getServletContext().getInitParameter("flashPolicyFileServer-port"); 035 if (serverPort != null) { 036 try { 037 server.setServerPort(Integer.parseInt(serverPort)); 038 } 039 catch (NumberFormatException e) { 040 throw new RuntimeException("Incorrect port " + serverPort + " defined for flash-policy-file-server-port", e); 041 } 042 } 043 044 String allow = sce.getServletContext().getInitParameter("flashPolicyFileServer-allowDomains"); 045 if (allow != null) { 046 String[] a = allow.split(","); 047 String[] domains = new String[a.length]; 048 String[] ports = new String[a.length]; 049 for (int i = 0; i < a.length; i++) { 050 int idx = a[i].indexOf(":"); 051 if (idx < 0) { 052 domains[i] = a[i]; 053 ports[i] = "80,443"; 054 } 055 else { 056 domains[i] = a[i].substring(0, idx); 057 ports[i] = a[i].substring(idx+1); 058 } 059 } 060 server.setAllowDomains(domains); 061 server.setAllowPorts(ports); 062 } 063 064 server.start(); 065 } 066 067 public void contextDestroyed(ServletContextEvent sce) { 068 server.stop(); 069 } 070 071}