diff options
| author | Peter Eisentraut <peter_e@gmx.net> | 2011-06-19 00:37:30 +0300 |
|---|---|---|
| committer | Peter Eisentraut <peter_e@gmx.net> | 2011-06-19 00:39:19 +0300 |
| commit | 365c72f205201eb6699325cb5e7a8c19430aad29 (patch) | |
| tree | 09ce7c7e0fb231a38cb74c63802bb43b725e459b /src/backend/port/win32/signal.c | |
| parent | c1c4f93056ceba4dcbb7779e5215e190587bea90 (diff) | |
Capitalization fixes
Diffstat (limited to 'src/backend/port/win32/signal.c')
| -rw-r--r-- | src/backend/port/win32/signal.c | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/backend/port/win32/signal.c b/src/backend/port/win32/signal.c index b5675ec76f4..92082a20b7a 100644 --- a/src/backend/port/win32/signal.c +++ b/src/backend/port/win32/signal.c @@ -171,7 +171,7 @@ pqsignal(int signum, pqsigfunc handler) return prevfunc; } -/* Create the signal listener pipe for specified pid */ +/* Create the signal listener pipe for specified PID */ HANDLE pgwin32_create_signal_listener(pid_t pid) { @@ -186,7 +186,7 @@ pgwin32_create_signal_listener(pid_t pid) if (pipe == INVALID_HANDLE_VALUE) ereport(ERROR, - (errmsg("could not create signal listener pipe for pid %d: error code %d", + (errmsg("could not create signal listener pipe for PID %d: error code %d", (int) pid, (int) GetLastError()))); return pipe; |