tree 5d15616be26eebb6e4aa37e306ac9359c12903b9
parent 8596581d0899c6f7bbfd9f68dece61777a2e32be
author Jeremy Kerr <jk@ozlabs.org> 1458266221 +0800
committer Jeremy Kerr <jk@ozlabs.org> 1458267412 +0800

socket: Actually use the console-socket definitions

Since the console_socket variables aren't declared with 'extern' in
console-server.h, we ended up with default definitions for these. This
happened to work, but with a zero-length socket path.

This change uses the console-socket.c object as intended, to provide
proper socket paths.

Now that the char[] is an extern, we'll need to get the address of it to
get the pointer value.

Also, fix the sizeof() to take account of the trailing nul.

Found by Joel Stanley <joel@jms.id.au>.

Signed-off-by: Jeremy Kerr <jk@ozlabs.org>