deduplicate reloading; we already had an unused function for that
authorgregor herrmann <gregor@toastfreeware.priv.at>
Thu, 6 Sep 2018 15:39:33 +0000 (17:39 +0200)
committergregor herrmann <gregor@toastfreeware.priv.at>
Thu, 6 Sep 2018 15:39:33 +0000 (17:39 +0200)
commit4a3782f2287399b05ed0aa59c0ac8c921a21a5c3
tree2e555fce1698c58dd541f7e0f650d3fdd14f979e
parenta0668e798825ed7294cd0f0e5beb6e4bd0884e41
deduplicate reloading; we already had an unused function for that
web/static/seepark_web.js