From 195a0dd44f7ca4174e5819e73747311c368ee2e7 Mon Sep 17 00:00:00 2001
From: Nuno Lopes <nlopess@php.net>
Date: Wed, 14 Feb 2007 19:48:18 +0000
Subject: [PATCH] document the php 5.2.2 changes: the resource is no longer
 destroyed

git-svn-id: https://svn.php.net/repository/phpdoc/en/trunk@229816 c90b9560-bf6c-de11-be94-00142212c4b1
---
 reference/exec/functions/proc-terminate.xml | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/reference/exec/functions/proc-terminate.xml b/reference/exec/functions/proc-terminate.xml
index f919a78655..6579983264 100644
--- a/reference/exec/functions/proc-terminate.xml
+++ b/reference/exec/functions/proc-terminate.xml
@@ -1,5 +1,5 @@
 <?xml version="1.0" encoding="iso-8859-1"?>
-<!-- $Revision: 1.7 $ -->
+<!-- $Revision: 1.8 $ -->
 <refentry id='function.proc-terminate'>
  <refnamediv>
   <refname>proc_terminate</refname>
@@ -9,7 +9,7 @@
  <refsect1 role="description">
   &reftitle.description;
   <methodsynopsis>
-   <type>int</type><methodname>proc_terminate</methodname>
+   <type>bool</type><methodname>proc_terminate</methodname>
    <methodparam><type>resource</type><parameter>process</parameter></methodparam>
    <methodparam choice="opt"><type>int</type><parameter>signal</parameter></methodparam>
   </methodsynopsis>
@@ -30,6 +30,8 @@
    <function>proc_terminate</function> allows you terminate the process and
    continue with other tasks.  You may poll the process (to see if it has
    stopped yet) by using the <function>proc_get_status</function> function.
+   However this is only possible with PHP 5.2.2 or newer, as previous versions
+   destroyed the given process <parameter>resource</parameter>.
   </para>
  </refsect1>