private void OnFinished(FinishedResponse response) { spinner.Stop(); view.Finished(grab_focus); grab_focus = false; CheckNoMatch(); }
private void OnFinished(ResponseMessage r) { FinishedResponse response = (FinishedResponse)r; if (this.FinishedEvent != null) { this.FinishedEvent(response); } }
private static void OnFinished(FinishedResponse response) { if (verbose) { Console.WriteLine("Elapsed time: {0:0.000}s", (DateTime.Now - queryStartTime).TotalSeconds); Console.WriteLine("Total hits: {0}", count); } if (flood) { SendQuery(); } else { main_loop.Quit(); } }
private void OnFinished(FinishedResponse response) { server.Commit (); }
private static void OnFinished (FinishedResponse response) { if (verbose) { Console.WriteLine ("Elapsed time: {0:0.000}s", (DateTime.Now - queryStartTime).TotalSeconds); Console.WriteLine ("Total hits: {0}", count); } if (flood) SendQuery (); else main_loop.Quit (); }
public void OnFinished (FinishedResponse response) { query.Close (); }
private void OnFinished(FinishedResponse response) { DisposeQuery(); }
public void OnFinished(FinishedResponse response) { query.Close(); }
private void OnFinished (FinishedResponse repsonse) { SetBusy (false); }
private void OnFinished (FinishedResponse response) { Console.Error.WriteLine ("Search finished"); // might want to collect a few more OnFinished signals before being done // for non-live searches finished = true; if (SearchDoneHandler != null) { SearchDoneHandler (id); } }
private void OnFinished (FinishedResponse response) { spinner.Stop (); view.Finished (grab_focus); grab_focus = false; CheckNoMatch (); }
private void OnFinished(FinishedResponse repsonse) { SetBusy(false); }