search

pSpaces / jSpace

Programming with Spaces in Java
MIT License
17 stars 13 forks source link

Gates opened in keep mode do close appropriately. #12

Open michele-loreti opened 6 years ago

michele-loreti commented 6 years ago

Sometime an explicit termination (System.exit(v)) is needed to force the exit of an application when a gate has been opened in keep mode.