blob: 608b3c7fd51a77569b59ae734ba6d9e2d70ed0f1 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
// 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()
|