63 lines
2.2 KiB
Java
63 lines
2.2 KiB
Java
/*
|
|
* Licensed to the Apache Software Foundation (ASF) under one or more
|
|
* contributor license agreements. See the NOTICE file distributed with
|
|
* this work for additional information regarding copyright ownership.
|
|
* The ASF licenses this file to You under the Apache License, Version 2.0
|
|
* (the "License"); you may not use this file except in compliance with
|
|
* the License. You may obtain a copy of the License at
|
|
*
|
|
* http://www.apache.org/licenses/LICENSE-2.0
|
|
*
|
|
* Unless required by applicable law or agreed to in writing, software
|
|
* distributed under the License is distributed on an "AS IS" BASIS,
|
|
* WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
* See the License for the specific language governing permissions and
|
|
* limitations under the License.
|
|
*/
|
|
|
|
package org.apache.catalina.storeconfig;
|
|
|
|
import java.io.PrintWriter;
|
|
|
|
import org.apache.catalina.SessionIdGenerator;
|
|
import org.apache.catalina.Store;
|
|
import org.apache.catalina.session.PersistentManager;
|
|
|
|
/**
|
|
* store server.xml PersistentManager element with nested "Store"
|
|
*/
|
|
public class PersistentManagerSF extends StoreFactoryBase {
|
|
|
|
/**
|
|
* Store the specified PersistentManager properties.
|
|
*
|
|
* @param aWriter
|
|
* PrintWriter to which we are storing
|
|
* @param indent
|
|
* Number of spaces to indent this element
|
|
* @param aManager
|
|
* PersistentManager whose properties are being stored
|
|
*
|
|
* @exception Exception
|
|
* if an exception occurs while storing
|
|
*/
|
|
@Override
|
|
public void storeChildren(PrintWriter aWriter, int indent, Object aManager,
|
|
StoreDescription parentDesc) throws Exception {
|
|
if (aManager instanceof PersistentManager) {
|
|
PersistentManager manager = (PersistentManager) aManager;
|
|
|
|
// Store nested <Store> element
|
|
Store store = manager.getStore();
|
|
storeElement(aWriter, indent, store);
|
|
|
|
// Store nested <SessionIdGenerator> element
|
|
SessionIdGenerator sessionIdGenerator = manager.getSessionIdGenerator();
|
|
if (sessionIdGenerator != null) {
|
|
storeElement(aWriter, indent, sessionIdGenerator);
|
|
}
|
|
|
|
}
|
|
}
|
|
|
|
} |