Open
Description
For certain advanced API applications, it will be useful to set out a timer for server requests. For example, I may want to only wait 5 seconds to get the next message in the stream, and if the message doesn't come, I want to do something else in real time like send a message myself or go to sleep for a bit, etc.
This would be a fairly technical project for somebody who understands long polling and sockets. The main file to modify would be https://github.com/zulip/python-zulip-api/blob/master/zulip/__init__.py
Once we had low-level support in our API bindings, we would probably add stuff to our BotHandler API to support things like scheduler bots and real-time game bots.
ping @cory2067