Wicket
  1. Wicket
  2. WICKET-1161

DiskPageStore should write the sessions index file to disk on destroy (from WicketFilter.destroy())

    Details

    • Type: Bug Bug
    • Status: Resolved
    • Priority: Major Major
    • Resolution: Fixed
    • Affects Version/s: 1.3.0-rc1
    • Fix Version/s: 1.3.5
    • Component/s: wicket
    • Labels:
      None

      Description

      We have to save the sessions index to disk from the DiskPageStore when we get a shutdown/destroy from the servlet container
      (I hope that that that event will be called on a servlet container shutdown and on a undeploy/redeploy of the webapp.)

      Then with a destroy we save it. When we are fired up again we read that file and also delete the file immediantly.

      Then when the page store is created and the file isn't there it can delete all the page stores files that are currently on disk
      because the destroy didn't happen so it was a crash or a hard kill and there won't be any sessions anyway.

        Activity

        Hide
        Matej Knopp added a comment -

        This is basically done, but it would be nice to cleanup file entries for which there is no record in index (e.g. files that were left there when server instance was killed, etc.)

        Show
        Matej Knopp added a comment - This is basically done, but it would be nice to cleanup file entries for which there is no record in index (e.g. files that were left there when server instance was killed, etc.)

          People

          • Assignee:
            Matej Knopp
            Reporter:
            Johan Compagner
          • Votes:
            0 Vote for this issue
            Watchers:
            1 Start watching this issue

            Dates

            • Created:
              Updated:
              Resolved:

              Development