From 2d592d2e8635f6d12cd577c836c711faa8cea8c3 Mon Sep 17 00:00:00 2001 From: Bruce Momjian <bruce@momjian.us> Date: Tue, 6 May 2008 16:14:29 +0000 Subject: [PATCH] Done: > * -Add function to report the time of the most recent server reload --- doc/TODO | 4 ++-- doc/src/FAQ/TODO.html | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/doc/TODO b/doc/TODO index 243f610d8b5..02cf967aff6 100644 --- a/doc/TODO +++ b/doc/TODO @@ -1,7 +1,7 @@ PostgreSQL TODO List ==================== Current maintainer: Bruce Momjian (bruce@momjian.us) -Last updated: Mon May 5 20:47:44 EDT 2008 +Last updated: Tue May 6 12:14:21 EDT 2008 The most recent version of this document can be viewed at http://www.postgresql.org/docs/faqs.TODO.html. @@ -32,7 +32,7 @@ Administration from the template database, it is not clear that setting schemas to the db owner is correct. -* Add function to report the time of the most recent server reload +* -Add function to report the time of the most recent server reload * Allow statistics collector information to be pulled from the collector process directly, rather than requiring the collector to write a filesystem file twice a second? diff --git a/doc/src/FAQ/TODO.html b/doc/src/FAQ/TODO.html index ecd6a6c4182..7e24153528b 100644 --- a/doc/src/FAQ/TODO.html +++ b/doc/src/FAQ/TODO.html @@ -8,7 +8,7 @@ <body bgcolor="#FFFFFF" text="#000000" link="#FF0000" vlink="#A00000" alink="#0000FF"> <h1><a name="section_1">PostgreSQL TODO List</a></h1> <p>Current maintainer: Bruce Momjian (<a href="mailto:bruce@momjian.us">bruce@momjian.us</a>)<br/> -Last updated: Mon May 5 20:47:44 EDT 2008 +Last updated: Tue May 6 12:14:21 EDT 2008 </p> <p>The most recent version of this document can be viewed at<br/> <a href="http://www.postgresql.org/docs/faqs.TODO.html">http://www.postgresql.org/docs/faqs.TODO.html</a>. @@ -36,7 +36,7 @@ first. There is also a developer's wiki at<br/> from the template database, it is not clear that setting schemas to the db owner is correct. </p> - </li><li>Add function to report the time of the most recent server reload + </li><li>-<em>Add function to report the time of the most recent server reload</em> </li><li>Allow statistics collector information to be pulled from the collector process directly, rather than requiring the collector to write a filesystem file twice a second? -- GitLab