e7f5384427
This passes the file modification time to the javascript side and if they don't match then the file is re-downloaded and parsed. The mtime is also used in the AJAX request as it prevents the browser from serving the new request from cache. |
||
---|---|---|
.. | ||
css | ||
font | ||
gcodeviewer | ||
img | ||
js |