We decided to leave out caching functionality in the
Although the caching of recently requested pages (or also
pre-caching of popular ones) should largely increase
the server's runtime performance, we found out that even without
our system produces quite passable results regarding request- and
In the future, we plan to implement the caching functionality as a separate
module that may be ''plugged in'' the server when needed.