patches
changeset 41 d61cda45c461
parent 38 41d968c5518c
child 42 01ad8f1b986b
--- a/patches	Thu Nov 02 21:32:21 1995 +0100
+++ b/patches	Fri Nov 03 17:34:13 1995 +0100
@@ -311,7 +311,7 @@
 		  PersistencyManager BinaryIOManager BinaryInputManager
 		  BinaryOutputManager DBFile BinaryObjectStorage
 
-		  RDoItServer
+		  RDoItServer SNMPOID SNMPSession
 
 		  HandlerCollection 
 		  Plug Random MessageSend MessageChannel