give each server process its own socket for the executor

this fixes a bug introduced with the prefork mechanics: every server
process shared the same socket, and this would cause a race condition
when multiple server processes asked for a script cgi being executed.

This gives each server process its own socket to talk to the executor,
so the race cannot happen.

1 files changed, 4 insertions, 0 deletions

diff --git a/gmid.h b/gmid.h
index e926f9c..b858ebc 100644
--- a/gmid.h
+++ b/gmid.h
@@ -56,6 +56,8 @@
 #define DOMAIN_NAME_LEN	(253+1)
 #define LABEL_LEN	(63+1)
 
+#define PROC_MAX	16
+
 struct location {
 	const char	*match;
 	const char	*lang;
@@ -120,6 +122,8 @@ extern struct imsgbuf logpibuf, logcibuf;
 
 extern volatile sig_atomic_t hupped;
 
+extern int servpipes[PROC_MAX];
+
 struct iri {
 	char		*schema;
 	char		*host;