2014-11-30 14:09:21 +01:00
|
|
|
# Register deserialization handlers for objects
|
|
|
|
# that will pass between server and client
|
2014-11-30 14:13:43 +01:00
|
|
|
from bootstrapvz.remote import register_deserialization_handlers
|
2014-11-30 14:09:21 +01:00
|
|
|
register_deserialization_handlers()
|
|
|
|
|
2014-08-31 13:45:35 +02:00
|
|
|
|
2014-12-18 21:47:51 +01:00
|
|
|
def waituntil(predicate, timeout=5, interval=0.05):
|
|
|
|
import time
|
|
|
|
threshhold = time.time() + timeout
|
|
|
|
while time.time() < threshhold:
|
|
|
|
if predicate():
|
|
|
|
return True
|
|
|
|
time.sleep(interval)
|
|
|
|
return False
|
|
|
|
|
|
|
|
|
2015-01-16 01:52:42 +01:00
|
|
|
def read_from_socket(socket_path, termination_string, timeout, read_timeout=0.5):
|
2014-12-20 16:07:00 +01:00
|
|
|
import socket
|
|
|
|
import select
|
|
|
|
import errno
|
|
|
|
console = socket.socket(socket.AF_UNIX, socket.SOCK_STREAM)
|
|
|
|
console.connect(socket_path)
|
|
|
|
console.setblocking(0)
|
|
|
|
|
2015-01-16 01:52:42 +01:00
|
|
|
from timeit import default_timer
|
|
|
|
start = default_timer()
|
|
|
|
|
2014-12-20 16:07:00 +01:00
|
|
|
output = ''
|
|
|
|
ptr = 0
|
|
|
|
continue_select = True
|
|
|
|
while continue_select:
|
2015-01-16 01:52:42 +01:00
|
|
|
read_ready, _, _ = select.select([console], [], [], read_timeout)
|
2014-12-20 16:07:00 +01:00
|
|
|
if console in read_ready:
|
|
|
|
while True:
|
|
|
|
try:
|
|
|
|
output += console.recv(1024)
|
|
|
|
if termination_string in output[ptr:]:
|
|
|
|
continue_select = False
|
|
|
|
else:
|
|
|
|
ptr = len(output) - len(termination_string)
|
|
|
|
break
|
|
|
|
except socket.error, e:
|
|
|
|
if e.errno != errno.EWOULDBLOCK:
|
|
|
|
raise Exception(e)
|
|
|
|
continue_select = False
|
2015-01-16 01:52:42 +01:00
|
|
|
if default_timer() - start > timeout:
|
2014-12-20 16:07:00 +01:00
|
|
|
from exceptions import SocketReadTimeout
|
2015-01-16 01:52:42 +01:00
|
|
|
msg = ('Reading from socket `{path}\' timed out after {seconds} seconds.\n'
|
|
|
|
'Here is the output so far:\n{output}'
|
|
|
|
.format(path=socket_path, seconds=timeout, output=output))
|
2014-12-20 16:07:00 +01:00
|
|
|
raise SocketReadTimeout(msg)
|
|
|
|
console.close()
|
|
|
|
return output
|