fix editor damage
This commit is contained in:
parent
abe5a73d3f
commit
81b40cf882
1 changed files with 3 additions and 5 deletions
|
@ -51,8 +51,6 @@ start = notBareRepo $ do
|
||||||
case r of
|
case r of
|
||||||
Just _ -> return ()
|
Just _ -> return ()
|
||||||
Nothing -> do
|
Nothing -> do
|
||||||
liftIO $
|
-- wait 0.1 seconds before retry
|
||||||
threadDelay 100000 -- 0.1 seconds
|
liftIO $ threadDelay 100000
|
||||||
|
|
||||||
|
|
||||||
waitdaemon (n - 1)
|
waitdaemon (n - 1)
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue