mirror of
git://xwords.git.sourceforge.net/gitroot/xwords/xwords
synced 2024-12-28 09:58:30 +01:00
call server_do before passing message to server to give it a chance to
get any pending work done.
This commit is contained in:
parent
52510b0b10
commit
6b773460ec
1 changed files with 3 additions and 1 deletions
|
@ -1003,7 +1003,9 @@ Java_org_eehouse_android_xw4_jni_XwJNI_game_1receiveMessage
|
||||||
jstream );
|
jstream );
|
||||||
result = comms_checkIncomingStream( state->game.comms, stream, NULL );
|
result = comms_checkIncomingStream( state->game.comms, stream, NULL );
|
||||||
if ( result ) {
|
if ( result ) {
|
||||||
(void)server_receiveMessage( state->game.server, stream );
|
ServerCtxt* server = state->game.server;
|
||||||
|
server_do( server ); /* in case work's pending */
|
||||||
|
(void)server_receiveMessage( server, stream );
|
||||||
}
|
}
|
||||||
|
|
||||||
stream_destroy( stream );
|
stream_destroy( stream );
|
||||||
|
|
Loading…
Reference in a new issue