/* Log Editor - DMS - feb 98 - by Sylvain HUET */ /* Rev. Aug. '98 - by Marc BARILLEY */ fun save (filename, n)= ("action"::"start"::"start"::nil):: ("action"::"destroy"::"destroy"::nil):: ("action"::"log"::"log"::nil):: ("action"::"register"::"register"::nil):: ("action"::"unregister"::"unregister"::nil):: ("action"::"!changeLogin"::"changeLogin"::nil):: ("event"::"entering"::"entering"::nil):: ("event"::"destroyed"::"destroyed"::nil):: ("event"::"log"::"log"::nil):: ("zone"::"Log"::nil):: ("zoneC"::"Log"::nil):: ("rule"::"2"::"Authentification"::"1"::"loginChanged"::"1"::"Log"::"0"::"!changeLogin"::nil):: nil;; fun IniEditor(filename)= let startEditor _channel nil nil nil 315 0 WN_NORMAL-WN_SIZEBOX EDITOR_NORMAL filename "dms/admin/log/log.dmc" nil nil nil @save nil -> ed in if filename==nil then nil else openDMI ed; 0;;