Verified Commit 95d88882 authored by Jakob Moser's avatar Jakob Moser
Browse files

Make parameter optional

parent dcebc01e
Loading
Loading
Loading
Loading
+1 −1
Original line number Diff line number Diff line
@@ -211,7 +211,7 @@ async function pressEnter() {
 * 
 * @param {boolean} waitForPrompt If true, wait until a prompt is shown, if false, exit immediately
 */
export async function abort(waitForPrompt) {
export async function abort(waitForPrompt = false) {
    const textarea = document.querySelector(".term_textarea")
    textarea.dispatchEvent(new KeyboardEvent("keydown", {
        keyCode: 67,