[SCM] Hurd branch, master, updated. v0.5-12-gef6f495

[Samuel Thibault]

This is an automated email from the git hooks/post-receive script. It was
generated because a ref change was pushed to the repository containing
the project "Hurd".

The branch, master has been updated
       via  ef6f49570c748bed2c086faecec9064b9b04514a (commit)
       via  5296cbf51c564fdbf2beb299beda43bdd52a8229 (commit)
       via  810d47c823ccac01888f3e64e1dcdd247ef92986 (commit)
       via  9be362ab7efc6ad27a678e00f9b0b35a24993aa1 (commit)
       via  695e5d209ade018afea1b2d2f9e042e9c78028ae (commit)
      from  fd8213f83d0656bd0cd5215306e22e5a25058bee (commit)

Those revisions listed above that are new to this repository have
not appeared on any other notification email; so we list those
revisions in full, below.

- Log -----------------------------------------------------------------
commit ef6f49570c748bed2c086faecec9064b9b04514a
Author: Justus Winter <address@hidden>
Date:   Thu Oct 10 18:08:20 2013 +0200

    console-client: replace function epilogue with console_exit
    
    * console-client/console.c (main): Replace epilogue with console_exit.

commit 5296cbf51c564fdbf2beb299beda43bdd52a8229
Author: Justus Winter <address@hidden>
Date:   Thu Oct 10 18:08:21 2013 +0200

    console-client: minor stylistic fix
    
    * console-client/console.c (main): Minor stylistic fix.

commit 810d47c823ccac01888f3e64e1dcdd247ef92986
Author: Justus Winter <address@hidden>
Date:   Thu Oct 10 18:08:22 2013 +0200

    console-client: fix error handling
    
    Fix the error handling in console_move_mouse. This also appeases the
    compiler.
    
    * console-client/console.c (console_move_mouse): Fix error handing.

commit 9be362ab7efc6ad27a678e00f9b0b35a24993aa1
Author: Justus Winter <address@hidden>
Date:   Thu Oct 10 18:08:19 2013 +0200

    console-client: entitle console_exit with the noreturn attribute
    
    * console-client/input.h (console_exit): Add noreturn attribute.

commit 695e5d209ade018afea1b2d2f9e042e9c78028ae
Author: Justus Winter <address@hidden>
Date:   Thu Oct 10 18:08:18 2013 +0200

    console-client: remove the pid file on clean exits
    
    Remove the pid file if the console client exits either cleanly using
    console_exit or because of an error during daemonization.
    
    * console-client/console.c (console_exit): Remove the pid file.
    (daemon_error): Likewise.

-----------------------------------------------------------------------

Summary of changes:
 console-client/console.c |   11 ++++++++---
 console-client/input.h   |    2 +-
 2 files changed, 9 insertions(+), 4 deletions(-)


hooks/post-receive
-- 
Hurd