Thomas Veerman e176fa00ef RS: refresh service upon init failure ... When a service fails to initialize, RS exits the service. When injecting faults this is undesired behavior. With this patch, we're going to assume that when starting services with the -b flag (no binary exponential offset), we don't want to exit the service but simply restart the initialization. Change-Id: Ie8b9c89e16fe4df8a89ec30ec678a216b4ec5fd0		2013-02-22 16:06:25 +00:00
..
const.h	Switch to disable bin. exp. wait time in RS	2013-02-16 19:35:19 +01:00
error.c	retire PUBLIC, PRIVATE and FORWARD	2012-03-25 21:58:14 +02:00
exec.c	libexec: detect short files	2013-02-04 12:04:35 +01:00
glo.h	various coverity-inspired fixes	2012-07-16 14:00:56 +02:00
inc.h	retire _ANSI and <minix/ansi.h>	2012-03-25 21:58:27 +02:00
main.c	RS: do not zero process name for boot processes	2012-12-06 13:24:30 +00:00
Makefile	RS: Make PCI code optional	2012-08-17 00:17:51 +02:00
manager.c	RS: refresh service upon init failure	2013-02-22 16:06:25 +00:00
memory.c	VM: full munmap	2012-09-18 13:17:52 +02:00
proto.h	retire _PROTOTYPE	2012-03-25 16:17:10 +02:00
request.c	various warning/errorwarning fixes for gcc47	2012-08-27 16:19:18 +02:00
table.c	retire PUBLIC, PRIVATE and FORWARD	2012-03-25 21:58:14 +02:00
type.h	RS: support for endpoint-changing driver restarts	2011-12-05 16:28:07 +01:00
utility.c	various warning/errorwarning fixes for gcc47	2012-08-27 16:19:18 +02:00