Reorder requires conditions on engine_stopped_cb
Check started first and then pid as engine being started is the primary condition post which the pid should be enforced. https://bugzilla.gnome.org/show_bug.cgi?id=724504
This commit is contained in:
parent
8ba6bcb992
commit
6d4be6567f
1 changed files with 1 additions and 1 deletions
|
@ -106,8 +106,8 @@ public abstract class ChessEngine : Object
|
|||
}
|
||||
|
||||
private void engine_stopped_cb (Pid pid)
|
||||
requires (pid == this.pid)
|
||||
requires (started)
|
||||
requires (pid == this.pid)
|
||||
{
|
||||
stop (false);
|
||||
stopped_unexpectedly ();
|
||||
|
|
Loading…
Reference in a new issue