HGKeeper

use CLOCK_MONOTONIC instead of CLOCK_REALTIME for timer setup

2018-06-01, Andrey Skvortsov

d1536c271866

use CLOCK_MONOTONIC instead of CLOCK_REALTIME for timer setup

CLOCK_REALTIME is a wall clock, that could change back and forth (user
changes system time, winter/summer time, NTP corrections and so on).
For real-time application CLOCK_MONOTONIC should be used, it doesn't
have such jumps.

<?xml version="1.0" encoding="ISO-8859-1" ?>

<xsd:schema xmlns:xsd="http://www.w3.org/2001/XMLSchema"

xmlns:xhtml="http://www.w3.org/1999/xhtml">

<xsd:element name="Python">

<xsd:complexType>

<xsd:annotation>

<xsd:documentation>Formatted text according to parts of XHTML 1.1</xsd:documentation>

</xsd:annotation>

<xsd:sequence>

<xsd:any namespace="http://www.w3.org/1999/xhtml" processContents="lax"/>

</xsd:sequence>

</xsd:complexType>

</xsd:element>

</xsd:schema>

beremiz