summary refs log tree commit diff stats
path: root/COPYING
Commit message (Collapse)AuthorAgeFilesLines
* Changed license to the GNU General Public Licensehut2010-02-281-13/+674
|
* added license informationhut2010-01-081-0/+13
mmitter hut <hut@lavabit.com> 2010-02-28 13:53:16 +0100 Changed license to the GNU General Public License' href='/akspecs/ranger/commit/ranger/ext/waitpid_no_intr.py?id=811b7c282fdb3032659626190b936c3365fa4dc1'>811b7c28 ^
b4c2c703 ^
811b7c28 ^






b4c2c703 ^
bd0ede8d ^


871c502d ^
b4b0eb24 ^
871c502d ^

bd0ede8d ^
f6dc79db ^

871c502d ^
bd0ede8d ^
871c502d ^


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
                                                                 
 



                                                                      
 






                                                                       
 


                       
                         
                                                                 

                    
                                              

                                         
                                    
                                            


                                        
# Copyright (C) 2009, 2010  Roman Zimbelmann <romanz@lavabit.com>
#
# This program is free software: you can redistribute it and/or modify
# it under the terms of the GNU General Public License as published by
# the Free Software Foundation, either version 3 of the License, or
# (at your option) any later version.
#
# This program is distributed in the hope that it will be useful,
# but WITHOUT ANY WARRANTY; without even the implied warranty of
# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
# GNU General Public License for more details.
#
# You should have received a copy of the GNU General Public License
# along with this program.  If not, see <http://www.gnu.org/licenses/>.

from errno import EINTR
from os import waitpid

def waitpid_no_intr(pid):
	"""catch interrupts which occur while using os.waitpid"""
	while True:
		try:
			return waitpid(pid, 0)
		except KeyboardInterrupt:
			continue
		except OSError as e:
			if e.errno == EINTR:
				continue
			else:
				raise