Tomcat 4に付属のDistributedManagerは使えないことが結局判明した。セッションがcreateされた時にしか複製が行われないように見える。本来は少なくともsetAttribute()された時にも複製しなければならないはず。そのためには独自のSessionクラスが必要なはずだが、session/ディレクトリの下にはそのようなクラスは見当たらない。
そもそもまともに動かすためには、全てのリクエストの終了と同時にセッション情報を複製しなければならないはずだ。そのためにはValveか何かが必要なのか？
