diff options
| author |  Joey Hess <joey@kitenet.net> | 2014-04-20 15:30:39 -0400 |
|---|---|---|
| committer | Joey Hess <joey@kitenet.net> | 2014-04-20 15:30:39 -0400 |
| commit | 619919bd49c342de60a63f16c835f0dd4acb9acb (patch) | |
| tree | 534dc7c2f2a9bd53cf155b5bfaa9e14af1f64c0b /RemoteDaemon/Types.hs | |
| parent | 7ed6a5520cee91fc9ccd6105e938a3dd7b88dca0 (diff) | |
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.
Diffstat (limited to 'RemoteDaemon/Types.hs')
| -rw-r--r-- | RemoteDaemon/Types.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/RemoteDaemon/Types.hs b/RemoteDaemon/Types.hs index aff910120..0e44874d2 100644 --- a/RemoteDaemon/Types.hs +++ b/RemoteDaemon/Types.hs @@ -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] |