Mon, 06 Mar 2017 15:37:40 +0100
ucx_mempool_free() aborts execution instead of just exiting on failure
.header, h1, h2, h3, .sidebar { font-family: sans-serif; } div.header { padding-top: 0.3em; padding-bottom: 0.5em; margin-bottom: 2em; border: none; border-bottom: 1px solid; border-bottom-color: #2E2E2E; } div.header span { font-size: 2em; font-weight: bold; margin-left: 1em; } div.header img { float: right; } div.sidebar { float: left; width: 15em; } div.nav { color: black; background-color: #E9EBEC; margin-bottom: 1em; padding-bottom: 0.1em; } div.nav h3 { color: white; background-color: #5B6F7A; font-size: 1.2em; padding-top: 0.2em; padding-bottom: 0.2em; padding-left: 0.5em; margin-top: 0; } div.nav ul { margin-top: 0; padding-top: 0; font-size: 0.95em; } div.content { margin-left: 16em; padding: 0; font-family: serif; font-size: 1em; min-width: 16em; } div.content h1 { color: white; background-color: #5B6F7A; font-size: 1.2em; padding-top: 0.2em; padding-bottom: 0.2em; padding-left: 0.5em; padding-right: 0; margin-top: 0; } div.content h2 { font-size: 1.2em; } div.content h3 { font-size: 1.05em; }