Mentions légales du service

Skip to content

Do not call the observer unless some changes happened.

Guillaume Melquiond requested to merge fix-observer into master

Calling the observer when no changes happened causes a large processor usage just to update the terminal running why3 replay. This is even worse over SSH, as a large number of encrypted packets are getting uselessly sent over the network.

Merge request reports