diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-02-28 19:16:49 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-02-28 19:16:49 -0400 |
| commit | ab2978b7e513b2b429c08e836b3b519d0076cda2 (patch) | |
| tree | 77fe143b736864a19df96962e5f0bb569e254efd /Command/Map.hs | |
| parent | b6c54d40e5562303c6e5aff59aca01342f0056bd (diff) | |
webapp: Filter out from Switch Repository list any repositories listed in autostart file that don't have a git directory anymore.
Trying to start in such a repo will, obviously, fail.
Note that assistant --autostart will try to start in such a repo, and fail,
but does start successfully in the other autostart repos.
Diffstat (limited to 'Command/Map.hs')
0 files changed, 0 insertions, 0 deletions