private void Refresh()
{
int newrev = revision;
if (serverInfo.SupportsUpdate) {
if (revision == 0)
newrev = GetCurrentRevision ();
else
newrev = WaitForRevision (revision);
if (newrev == revision)
return;
}
// Console.WriteLine ("Got new revision: " + newrev);
foreach (Database db in databases) {
db.Refresh (newrev);
}
revision = newrev;
if (Updated != null)
Updated (this, new EventArgs ());
}