mininet/mininet — pull request #92 by nemethf (2013-01-07 16:30:50+00:00)
Title: add host option: default_gw

It seems like others need a feature similar to this as well:
https://mailman.stanford.edu/pipermail/mininet-discuss/2013-January/001553.html

For me it's logical to place the new setDefaultGateway under Host, but setHostRoute is a method of Node, so I'm a bit confused.

BTW, are these configuration options documented somewhere?