view style-rlg.css @ 148:bac9c3b01692

Check that the ttyrec stream has an fd before passing it to fstat. The stream might not have an fd, presumably if the open isn't complete. Calling fstat then causes crashes.
author John "Elwin" Edwards
date Mon, 06 Jan 2014 09:11:35 -0500
parents 99fbc7c55b81
children
line wrap: on
line source

html {
	background-color: #C0FFC0;
	color: #101040;
	font-family: sans-serif;
}

h1 {
	text-align: center;
}

div.modal {
	clear: both;
}

div.rfloat {
	float: right;
	clear: right;
	margin: 0.2em;
	font-size: 1.2em;
	padding: 0.4em;
}

div.centerb {
	clear: both;
	margin: 0.2em;
	padding: 0.4em;
	text-align: center;
}

div.formtable {
	display: table;
	margin: 1em auto;
	border: 2px solid #101040;
}

div.formtable > div {
	display: table-row;
}

div.formtable > div > div {
	display: table-cell;
	padding: 0.4em 2em;
}

div.formtable > div > div:first-child {
	font-weight: bold;
	text-align: center;
}

div.formtable > div.tcapt {
	display: table-caption;
	caption-side: top;
	margin: 0 auto;
	padding: 0.4em;
	font-weight: bold;
	text-align: center;
}

span.ibutton {
	background-color: #D0D0D0;
	border: 2px solid #101040;
	border-radius: 0.3em;
	padding: 0.2em 0.5em;
}

div#register div.formtable span.ibutton {
	font-weight: bold;
}

div#nogames {
	display: none;
	margin-top: 2em;
	margin-bottom: 3em;
	font-weight: bold;
	text-align: center;
}

div#keys {
	display: none;
	font-size: 12px;
}

div#messages {
	width: 100%;
	max-height: 10em;
	overflow-y: auto;
	clear: both;
}

div#messages div {
	margin: 0.4em 0.8em;
	padding: 0.4em 0.4em;
	background-color: white;
}

div#messages > div:first-child {
	font-weight: bold;
}

div#messages > div.warn {
	background-color: #F0F0C0;
}

div#debug {
	display: none;
}

/* For options.html */
div#switch {
	display: none;
	margin: 1em;
	padding: 0.4em 0.4em;
	text-align: center;
}

div#switch span.ibutton {
	margin: 0.4em;
	font-weight: bold;
}

div#ostat {
	text-align: center;
}

div#optfoot {
	margin: 0 auto;
	text-align: center;
}