webapp: Repo switcher filters out repos that do not exist any more (or are on a drive that's not mounted).

Assistant/WebApp/OtherRepos.hs

@@ -33,8 +33,9 @@ listOtherRepos = do
 	pwd <- getCurrentDirectory
 	dirs <- filter (\d -> not $ d `dirContains` pwd) . nub
 		<$> ifM (doesFileExist f) ( lines <$> readFile f, return [])
-	names <- mapM relHome dirs
-	return $ sort $ zip names dirs
+	gooddirs <- filterM doesDirectoryExist dirs
+	names <- mapM relHome gooddirs
+	return $ sort $ zip names gooddirs
 
 {- Starts up the assistant in the repository, and waits for it to create
  - a gitAnnexUrlFile. Waits for the assistant to be up and listening for

debian/changelog

@@ -4,6 +4,8 @@ git-annex (3.20130108) UNRELEASED; urgency=low
   * Special remotes now all rollback storage of keys that get modified
     during the transfer, which can happen in direct mode.
   * drop: Suggest using git annex move when numcopies prevents dropping a file.
+  * webapp: Repo switcher filters out repos that do not exist any more
+    (or are on a drive that's not mounted).
 
  -- Joey Hess <joeyh@debian.org>  Tue, 08 Jan 2013 12:37:38 -0400
 

doc/bugs/The_webapp_doesn__39__t_allow_deleting_repositories/comment_2_53499da1185c56d8fd25f86ba41d96ce._comment

@@ -6,4 +6,6 @@
  content="""
 I created a new local repository to play with the new Direct Mode features.  I ended up deleting it (deleting the directory), but when I launched the assistant, I was still given the option of \"switching repository\" to the now-deleted one.  It threw the error Internal Server Error (user error (git [\"config\",\"--null\",\"--list\"] exited 126)).
 
+> Fixed this. --[[Joey]]
+
 """]]