Changes

Jump to: navigation, search

Portable DXR

616 bytes added, 16:50, 3 November 2008
Update Server
====Update Server====
Contacts the MozillaAlthough this project is all about building a tool for browsing documentation off-Central line, that documentation is in a constant state of flux. It would be useful to be able to obtain the updates refresh it when need be. The update server needn't be terribly complex. A simple Apache server and injects them into some cgi work should suffice. However, it needs to be worked out exactly what kind of update is being pushed. Is it a binary diff of the sqlite database that can be used by ? And if so, will it need to keep a collection of diffs based on a original dataset in order to service users who haven't sync'd for some time. There's also the question of whether the update mechanism build into Mozilla for extensions is useful to us. We need to do some research on how extensionupdates work.
====Application====

Navigation menu