On Wed, Jun 25, 2014 at 11:46:42AM +0200, 'Petr Pudlak' via ganeti-devel wrote: > Namely, document that closing a handle/client is an idempotent > operation. > > Signed-off-by: Petr Pudlak <[email protected]> > --- > src/Ganeti/UDSServer.hs | 7 +++++++ > 1 file changed, 7 insertions(+)
LGTM. -- 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
