todo
This commit is contained in:
parent
060119fdc4
commit
d76e281de0
2 changed files with 5 additions and 1 deletions
|
@ -58,7 +58,7 @@ runPush side clientid handledeferred a = do
|
|||
|
||||
{- While a push is running, matching push messages are put into
|
||||
- netMessagesPush, while others that involve the same side go to
|
||||
- netMessagesDeferredPush.
|
||||
- netMessagesPushDeferred.
|
||||
-
|
||||
- When no push is running involving the same side, returns False.
|
||||
-
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue