[PATCH] patch to make PersistentManager work with different Storeimplementations.

[Bip Thelin]

This is a minor change so you can specify the store to use within server.xml.
Here's how you can change the Store use from server.xml:
<Manager className="org.apache.catalina.session.PersistentManager"
        debug="0"
        saveOnRestart="true"
        maxActiveSessions="1"
        minIdleSwap="-1"
        maxIdleSwap="1"
        maxIdleBackup="-1">
        <Store className="org.apache.catalina.session.FileStore"/>
</Manager>

I'll hope to have a first cut of the JDBCStore soon.

        ..bip

----------------------------[ PersistentManager.java ]----------------------------

diff -r1.2 PersistentManager.java
267c266
<       
---
>       store.setManager(this);
598,601d596
<       // Create the FileStore object.
<       // FIXME: Do this properly (configurable)
<       store = new FileStore();
<       store.setManager (this);

----------------------------[ Catalina.java ]----------------------------

diff -r1.17 Catalina.java
351a352,358
>       mapper.addRule("Server/Service/Engine/Host/Context/Manager/Store",
>                      mapper.objectCreate(null, "className"));
>       mapper.addRule("Server/Service/Engine/Host/Context/Manager/Store",
>                        mapper.setProperties());
>       mapper.addRule("Server/Service/Engine/Host/Context/Manager/Store",
>                      mapper.addChild("setStore", "org.apache.catalina.Store"));
>