diff --git a/common/content/ui.js b/common/content/ui.js index 27cc896a..ea8745c8 100644 --- a/common/content/ui.js +++ b/common/content/ui.js @@ -495,7 +495,8 @@ function CommandLine() //{{{ /////////////////////////////////////////////////////////////////////////////{{{ var statusTimer = new Timer(5, 100, function statusTell() { - // FIXME: completions is null Error + if (completions == null) + return; if (completions.selected == null) statusline.updateProgress(""); else diff --git a/common/make_jar.sh b/common/make_jar.sh index 3d073a0d..439fce16 100644 --- a/common/make_jar.sh +++ b/common/make_jar.sh @@ -1,4 +1,4 @@ -#!/bin/bash +#!/bin/sh set -e top=$(pwd)