private _recordLogEntry ( string from_server_guid, long logstamp, RecordUpdate logdata ) : void | ||
from_server_guid | string | |
logstamp | long | |
logdata | RecordUpdate | |
return | void |
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();
}