Log out active user and key when user is changed or deleted or unset.

2020-04-04 16:30:14 -04:00
parent 975743adec
commit fa0c80d6b3
13 changed files with 52 additions and 44 deletions
--- a/platform-independent/c/cli/mpw-cli-tests
+++ b/platform-independent/c/cli/mpw-cli-tests
@@ -31,7 +31,7 @@ mpw_expect() {
    [[ $file ]] && (( ! keep )) && rm "$file"

    printf '.'
-    local result=$(set -x; ./mpw -q "${args[@]}") err=$?
+    local result=$(./mpw -q "${args[@]}") err=$?

    if (( err )); then
        printf >&2 "Error (exit %d) mpw%s\n" "$err" "$(printf ' %q' "${args[@]}")"