View Issue Details
| ID | Project | Category | View Status | Date Submitted | Last Update |
|---|---|---|---|---|---|
| 0000001 | Pgpool-II | Enhancement | public | 2012-01-11 13:19 | 2012-02-20 19:45 |
| Reporter | sean@chittenden.org | Assigned To | |||
| Priority | normal | Severity | tweak | Reproducibility | always |
| Status | new | Resolution | open | ||
| Summary | 0000001: Make pid_file optional | ||||
| Description | Attached patch makes the use of a pid file optional. Internally I changed the meaning of NULL to mean "use the default PID filename", an empty string means no pid file, and a non-zero length pid filename means a valid pid file. | ||||
| Steps To Reproduce | patch -p1 < pid_file.patch | ||||
| Tags | No tags attached. | ||||
|
|
Use pid_file_v2 patch. I changed it so that a value of "-" uses no PID file instead of an empty string. |
|
2012-02-20 19:45 developer |
|
|
2012-02-20 19:45 developer |
|
| Date Modified | Username | Field | Change |
|---|---|---|---|
| 2012-01-11 13:19 | sean@chittenden.org | New Issue | |
| 2012-01-11 13:19 | sean@chittenden.org | File Added: pid_file.patch | |
| 2012-01-11 14:03 | sean@chittenden.org | File Added: pid_file_v2.patch | |
| 2012-01-11 14:04 | sean@chittenden.org | Note Added: 0000001 | |
| 2012-02-20 19:44 |
|
File Deleted: pid_file.patch | |
| 2012-02-20 19:44 |
|
File Deleted: pid_file_v2.patch | |
| 2012-02-20 19:45 |
|
File Added: pid_file.patch | |
| 2012-02-20 19:45 |
|
File Added: pid_file_v2.patch |
