send remote-daemon a RELOAD after making a ssh remote
This doesn't work yet, because RELOAD is buggy and does not notice the new remote.
This commit is contained in:
parent
1a4c3caa96
commit
512da29273
4 changed files with 24 additions and 10 deletions
|
@ -20,6 +20,7 @@ import Control.Concurrent
|
|||
|
||||
-- The URI of a remote is used to uniquely identify it (names change..)
|
||||
newtype RemoteURI = RemoteURI URI
|
||||
deriving (Show)
|
||||
|
||||
-- A Transport for a particular git remote consumes some messages
|
||||
-- from a Chan, and emits others to another Chan.
|
||||
|
@ -38,6 +39,7 @@ data Emitted
|
|||
| SYNCING RemoteURI
|
||||
| DONESYNCING RemoteURI Bool
|
||||
| WARNING RemoteURI String
|
||||
deriving (Show)
|
||||
|
||||
-- Messages that the deamon consumes.
|
||||
data Consumed
|
||||
|
@ -47,6 +49,7 @@ data Consumed
|
|||
| CHANGED RefList
|
||||
| RELOAD
|
||||
| STOP
|
||||
deriving (Show)
|
||||
|
||||
type RefList = [Git.Ref]
|
||||
|
||||
|
|
Loading…
Add table
Add a link
Reference in a new issue