| commit | 359364fd723118e586bbee7d1ca383fa0b2f9ab2 | |
| author | momjian <momjian> | |
| Tue, 15 Apr 2008 13:55:12 +0000 (15 13:55 +0000) | ||
| committer | momjian <momjian> | |
| Tue, 15 Apr 2008 13:55:12 +0000 (15 13:55 +0000) | ||
| tree | 803402af6f06d569b9fd3a4fc3647d33594eb146 | treesnapshot (tar.gz zip) |
| parent | 267f8ea757d31f9d41bb25fdcf4189dfdeb46c9b | commitdiff |
Add pg_terminate_backend() to allow terminating only a single session.