« Previous | Next » 

Revision 0165d7bd

Parent 1df1f9a1
Child ba723826

Added by Bob Lantz over 5 years ago

Implement Switch.stop(), which doesn't call terminate

When I changed the switch implementations to call super().stop(),
I neglected to include a Switch.stop() method which didn't call
terminate(). This broke switch s1 stop and s1.stop().

Fixes #497


  • added
  • modified
  • copied
  • renamed
  • deleted

View differences