internal void _recordLogEntry(string from_server_guid, long logstamp, RecordUpdate logdata) { RecordKey logkey = new RecordKey() .appendKeyPart("_logs") .appendKeyPart(from_server_guid) .appendKeyPart(new RecordKeyType_Long(logstamp)); next_stage.setValue(logkey, logdata); pusher.wakeUpLogSleepers(); }