1    /* 
2     * Copyright (C) 1997 Luke Gorrie 
3     * 
4     * This library is free software; you can redistribute it and/or 
5     * modify it under the terms of the GNU Library General Public 
6     * License as published by the Free Software Foundation; either 
7     * version 2 of the License, or (at your option) any later version. 
8     * 
9     * This library is distributed in the hope that it will be useful, 
10    * but WITHOUT ANY WARRANTY; without even the implied warranty of 
11    * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU 
12    * Library General Public License for more details. 
13    * 
14    * You should have received a copy of the GNU Library General Public 
15    * License along with this library; if not, write to the 
16    * Free Software Foundation, Inc., 675 Mass Ave, Cambridge, 
17    * MA 02139, USA. 
18    */ 
19    
20   package javagroup.process; 
21    
22   import javagroup.util.Resource; 
23    
24   /** 
25    * Token resource.  A process is considered dead when its ProcessLifeToken 
26    * is released. 
27    * 
28    * @author Luke Gorrie 
29    */ 
30   public class ProcessLifeToken extends Resource { 
31    
32       protected JProcess _process; 
33    
34       public ProcessLifeToken(JProcess process) { 
35           _process = process; 
36       } 
37    
38       public JProcess getProcess() { 
39           return _process; 
40       } 
41    
42       public void dispose() { 
43           super.dispose(); 
44           _process = null; 
45       } 
46    
47   } 
48    
49