blob: 608b3c7fd51a77569b59ae734ba6d9e2d70ed0f1 (
plain) (
tree)
|
|
// not exactly "pending", here as an example usage.
//
val manager = scala.tools.util.SignalManager
manager.requireInterval(3, manager.INT) {
case true => Console.println("\nPress ctrl-C again to exit.")
case false => System.exit(1)
}
manager("HUP") = println("HUP 1!")
manager("HUP").raise()
manager("HUP") += println("HUP 2!")
manager("HUP").raise()
manager("HUP") += println("HUP 3!")
manager("HUP").raise()
manager("HUP") = println("Back to HUP 1!")
manager("HUP").raise()
manager.dump()
|