diff options
| author |  Joey Hess <joey@kitenet.net> | 2011-11-07 14:46:01 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2011-11-07 15:59:16 -0400 |
| commit | 63a292324d20832b68c92f784828e55e644481cc (patch) | |
| tree | f49c7077caf738cd285681421f9c9baa03068c99 /git-annex-shell.hs | |
| parent | b08f7c428b4bc9eabd95596d08594ddd1057a0bf (diff) | |
add a UUID type
Should have done this a long time ago.
Diffstat (limited to 'git-annex-shell.hs')
| -rw-r--r-- | git-annex-shell.hs | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/git-annex-shell.hs b/git-annex-shell.hs index 10eeb454a..de3160953 100644 --- a/git-annex-shell.hs +++ b/git-annex-shell.hs @@ -45,9 +45,9 @@ options = commonOptions ++ where check expected = do u <- getUUID - when (u /= expected) $ error $ + when (u /= read expected) $ error $ "expected repository UUID " ++ expected - ++ " but found UUID " ++ u + ++ " but found UUID " ++ show u header :: String header = "Usage: git-annex-shell [-c] command [parameters ...] [option ..]" |