It would be helpful to have some control over the server push. Some use cases might be:

• I have an action which changes a lot of values (MGNLWORKFLOW-403)
• I'm ok with not having changes pushed out as a trade off for performance. I understand how to refresh the UI on demand.
• Troubleshoot issues.

Notes

Adding a check in JcrDataSourceObservation for the current pushMode would be a good idea, since a developer could disable it. Currently the ui.push() is always executed, nevertheless what the configuration is.

if (ui.getPushConfiguration().getPushMode().isEnabled()) {
  ui.push();
}