Function formatInterval

src/remote/server/ReplServer.cpp:561–577

	typedef SortedArray<Segment*, EmptyStorage<Segment*>, FB_UINT64, Segment> ProcessQueue;

	string formatInterval(const TimeStamp& start, const TimeStamp& finish)
	{
		static const SINT64 MSEC_PER_DAY = 24 * 60 * 60 * 1000;

		const SINT64 startMsec = ((SINT64) start.value().timestamp_date) * MSEC_PER_DAY +
			(SINT64) start.value().timestamp_time / 10;
		const SINT64 finishMsec = ((SINT64) finish.value().timestamp_date) * MSEC_PER_DAY +
			(SINT64) finish.value().timestamp_time / 10;

		const SINT64 delta = finishMsec - startMsec;
		const double seconds = (double) delta / 1000;

		string value;
		value.printf("%.3lfs", seconds);

		return value;
	}

	bool validateHeader(const SegmentHeader* header)
	{