title: how to make a loop in a jenkins pipeline script interruptible?
body: <p>One of my pipelines needs to wait for an external event to happen before it can continue. I tried using waitUntil, but it completely locked on me without any error (the pipeline would block and not move again). So I moved to a while(...) with a sleep inside.</p>
  
  <p>However, I now have the impression that this while loop cannot be interrupted. Would there be a way to declare a synchronization point for Jenkins, that it can interrupt the whole pipeline ?</p>