[Turn off line numbering]1: arg line; 2: var m, task, code, info; 3: 4: (> .perms(caller(), $connection) <); 5: if ((m = regexp(line, "^([0-9]+):([a-z]):(.*)$"))) { 6: [task, code, info] = m; 7: task = toint(task); 8: catch any { 9: $scheduler.resume(task, [code, info]); 10: } with { 11: $sys.log("DNS ERROR: "); 12: $sys.log($parse_lib.traceback(traceback())); 13: } 14: } else { 15: $sys.log("DNS ERROR: Invalid Result from server: " + line); 16: }
// Created 01-Jul-1997 as a part of ColdCore, see: @help Credit