• Dominik Luntzer's avatar
    Add caching feature to the public API · 40cf4675
    Dominik Luntzer authored
    Introduce a new optional parameter to the constructor of the server. If
    a cache file path is defined, the address space will be loaded from the
    cache or the cache file will be created if it dose not exist yet.
    40cf4675
server.py 14 KB