[patch] pfinet doesn't tell the set default gateway

[Stefan Siegl]

hello folks,

pfinet hasn't pushed the gateway-option in charge to the argz list, i.e.
if you called `fsysopts /servers/socket/2' it told about any configured
interface, it's ip address, confgiured peer address, etc. but not what the
current default route is.

the patch along ought to fix this.

cheers,
  stesie

  - % -

2006-07-28  Stefan Siegl  <stesie@brokenpipe.de>

        * options.c (trivfs_append_args): Figure out address of default
        gateway and push --gateway option to argz.

-- 
Do not worry about your difficulties in mathematics;
I can assure you that mine are still greater.
                                  -- Albert Einstein

pfinet+push-gateway.diff
Description: Text document