5 Commits (3da08bafa102eb3101c87f2b4bd9f04beb6cab5e)

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