monitor the disk space of the server

We first query server to get PGDATA, then use statfs (on Linux) to get
some disk space information. Similar to the I/O case, a new generic API
for machine/m_* files has been added, and now only Linux is supported.

1 files changed, 7 insertions, 5 deletions

diff --git a/layout.h b/layout.h
index b0633de..e753bdf 100644
--- a/layout.h
+++ b/layout.h
@@ -33,13 +33,15 @@
 #define  Y_DB		4
 #define  X_IO		0
 #define  Y_IO		5
+#define  X_DISK		0
+#define  Y_DISK		6
 #define  X_SWAP		6
-#define  Y_SWAP		6
-#define  Y_MESSAGE	6
+#define  Y_SWAP		7
+#define  Y_MESSAGE	7
 #define  X_HEADER	0
-#define  Y_HEADER	7
+#define  Y_HEADER	8
 #define  X_IDLECURSOR	0
-#define  Y_IDLECURSOR	6
-#define  Y_PROCS	8
+#define  Y_IDLECURSOR	7
+#define  Y_PROCS	9
 
 #endif   /* _LAYOUT_H_ */