6 Commits (f79aaaadd21e5825def115416e52611733c48fa7)

Author SHA1 Message Date
  sletz f79aaaadd2 Automatic server launch and client renaming in progress 17 years ago
  sletz bb25e2e701 Cleanup, renaming 18 years ago
  sletz ecf668edc8 More robust activation/deactivation code, especially in case of client crash. 18 years ago
  sletz 3a64d55ac4 Restructure activation/deactivation code 18 years ago
  sletz 558f79cc5f shared_ports renamed to shared_graph. 18 years ago
  sletz 73e2d7a6d3 First import 18 years ago