lantz/mininet — comment on commit 8df098fa033c077af371bdfd451c6a626e59445e
File:  line 0
By lantz:

I'm not entirely sure I understand the rationale for this, since:
- __init__() should only be called once, when the UserSwitch() is created
- at that point, the shell is new and should not have any subjobs
- therefore, this should not have any effect
Right?