chiark / gitweb /
label: generalize label_get_socket_label_from_exe() a bit