Skip to content

Instantly share code, notes, and snippets.

View keybase.md

Keybase proof

I hereby claim:

  • I am ziesemer on github.
  • I am ziesemer (https://keybase.io/ziesemer) on keybase.
  • I have a public key ASCqnfO_NknMLpEo8fQ0RLv4PL-Rp7ytALrK-R9wEwvdQgo

To claim this, I am signing this object:

@ziesemer
ziesemer / ssh-ControlMaster-test.sh
Last active Sep 7, 2021
ssh-ControlMaster-test.sh
View ssh-ControlMaster-test.sh
#!/bin/bash
# Mark Ziesemer, 2016-02-11, 2016-12-14.
# As described at https://rhn.redhat.com/errata/RHSA-2015-2088.html ,
# I'm afraid that the race condition with OpenSSH ControlMaster multiplexing is still not resolved
# in recent CentOS / Fedora releases.
# This refers to BZ#1240613 (which is apparently restricted), and is also described at
# https://access.redhat.com/solutions/1521923 (which is non-public, restricted to subscription access).
# Reported to https://bugzilla.redhat.com/show_bug.cgi?id=1308295 on 2016-02-13 .
@ziesemer
ziesemer / GetRequestUrl.java
Last active Aug 7, 2017
A faster, "complete" Java HttpServletRequest.getRequestUrl() replacement
View GetRequestUrl.java
import javax.servlet.http.HttpServletRequest;
public class GetRequestUrl{
/**
* <p>A faster replacement for {@link HttpServletRequest#getRequestURL()}
* (returns a {@link String} instead of a {@link StringBuffer} - and internally uses a {@link StringBuilder})
* that also includes the {@linkplain HttpServletRequest#getQueryString() query string}.</p>
* <p><a href="https://gist.github.com/ziesemer/700376d8da8c60585438"
* >https://gist.github.com/ziesemer/700376d8da8c60585438</a></p>
* @author Mark A. Ziesemer
View stdin.xul
<?xml version="1.0" encoding="UTF-8"?>
<?xml-stylesheet href="chrome://global/skin/" type="text/css"?>
<window id="foo" orient="vertical"
xmlns="http://www.mozilla.org/keymaster/gatekeeper/there.is.only.xul">
<script type="application/javascript"><![CDATA[
onload = function onload(event) {
let iframe = document.getElementById("foo-iframe");
iframe.addEventListener("DOMContentLoaded", function (event) {