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);
}
