Phone Restart
phone_restartRestarts the phone server after a merge without dropping the connected person: it announces an update, reconnects the stream, and reloads new page code when next idle.
Instructions
Restart the phone server (after a merge: it serves the new page code) without dropping the person: the page is told first ("updating, back in a few seconds"), reconnects the stream as soon as the server answers, and reloads itself into the new page code when it is next on screen and idle. when_idle=True restarts only when nobody is on the stream (otherwise it says so and does nothing).
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| why | No | updating | |
| when_idle | No |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| result | Yes |