thanks
On Wed, Jan 15, 2014 at 1:25 PM, Klaus Aehlig <[email protected]> wrote: > > s/exection/execution/ > > FYI, Interdiff: > > commit 232024eba78ee1004144bec312b6e8898b86cb6a > Author: Klaus Aehlig <[email protected]> > Date: Wed Jan 15 13:17:48 2014 +0100 > > Interdiff [PATCH master 1/4] Add dequeuing to the job scheduler > > diff --git a/src/Ganeti/JQScheduler.hs b/src/Ganeti/JQScheduler.hs > index ddfe5ac..db80d80 100644 > --- a/src/Ganeti/JQScheduler.hs > +++ b/src/Ganeti/JQScheduler.hs > @@ -294,7 +294,7 @@ enqueueNewJobs state jobs = do > > -- | Pure function for removing a queued job from the job queue by > -- atomicModifyIORef. The answer is True if the job could be removed > --- before being handed over to exection, False if it already was started > +-- before being handed over to execution, False if it already was started > -- and a Bad result if the job is not found in the queue. > rmJob :: JobId -> Queue -> (Queue, Result Bool) > rmJob jid q = > > > > > otherwise LGTM > > Thanks. > > -- > Klaus Aehlig > Google Germany GmbH, Dienerstr. 12, 80331 Muenchen > Registergericht und -nummer: Hamburg, HRB 86891 > Sitz der Gesellschaft: Hamburg > Geschaeftsfuehrer: Graham Law, Christine Elizabeth Flores >
