pgsql: Fix and simplify some usages of TimestampDifference().

2020-11-10 Thread Tom Lane
Fix and simplify some usages of TimestampDifference(). Introduce TimestampDifferenceMilliseconds() to simplify callers that would rather have the difference in milliseconds, instead of the select()-oriented seconds-and-microseconds format. This gets rid of at least one integer division per call,

pgsql: Fix and simplify some usages of TimestampDifference().

2020-11-10 Thread Tom Lane
Fix and simplify some usages of TimestampDifference(). Introduce TimestampDifferenceMilliseconds() to simplify callers that would rather have the difference in milliseconds, instead of the select()-oriented seconds-and-microseconds format. This gets rid of at least one integer division per call,

pgsql: Fix and simplify some usages of TimestampDifference().

2020-11-10 Thread Tom Lane
Fix and simplify some usages of TimestampDifference(). Introduce TimestampDifferenceMilliseconds() to simplify callers that would rather have the difference in milliseconds, instead of the select()-oriented seconds-and-microseconds format. This gets rid of at least one integer division per call,

pgsql: Fix and simplify some usages of TimestampDifference().

2020-11-10 Thread Tom Lane
Fix and simplify some usages of TimestampDifference(). Introduce TimestampDifferenceMilliseconds() to simplify callers that would rather have the difference in milliseconds, instead of the select()-oriented seconds-and-microseconds format. This gets rid of at least one integer division per call,

pgsql: Fix and simplify some usages of TimestampDifference().

2020-11-10 Thread Tom Lane
Fix and simplify some usages of TimestampDifference(). Introduce TimestampDifferenceMilliseconds() to simplify callers that would rather have the difference in milliseconds, instead of the select()-oriented seconds-and-microseconds format. This gets rid of at least one integer division per call,

pgsql: Fix and simplify some usages of TimestampDifference().

2020-11-10 Thread Tom Lane
Fix and simplify some usages of TimestampDifference(). Introduce TimestampDifferenceMilliseconds() to simplify callers that would rather have the difference in milliseconds, instead of the select()-oriented seconds-and-microseconds format. This gets rid of at least one integer division per call,

pgsql: Fix and simplify some usages of TimestampDifference().

2020-11-10 Thread Tom Lane
Fix and simplify some usages of TimestampDifference(). Introduce TimestampDifferenceMilliseconds() to simplify callers that would rather have the difference in milliseconds, instead of the select()-oriented seconds-and-microseconds format. This gets rid of at least one integer division per call,