An implementation of a client/server auto-updater