 class="hover" />
            </a>
          <p>Runs the given process, waits for its completion and returns if it succeeded.</p>



        </td>
      </tr>
      <tr>
        <td class="member-name">

          <code onmouseout="hideTip(event, '487', 487)" onmouseover="showTip(event, '487', 487)">
            ensureProcessesHaveStopped name timeout
          </code>
          <div class="tip" id="487">
            <strong>Signature:</strong> name:string -&gt; timeout:TimeSpan -&gt; unit<br />
           