title: How to exit a while loop after a certain time?
body: <p>I have a while loop and I want it to exit after some time has elapsed.</p>
  
  <p>For example:</p>
  
  <pre><code>while(condition and 10 sec has not passed){
  
  }
  </code></pre>