thomas-riccardi

// ==UserScript==
// @name         Github wider
// @namespace    http://tampermonkey.net/
// @version      2025-04-08
// @description  Wider content area on Github: PR, issues
// @author       Thomas Riccardi
// @match        https://github.com/*
// @icon         https://www.google.com/s2/favicons?sz=64&domain=github.com
// @grant        GM_addStyle
// @run-at       document-start

thomas-riccardi

FROM ubuntu:18.04

RUN apt-get update &&\
    apt-get install -y --no-install-recommends \
        git \
        wget \
        python3 python3-pip python3-setuptools python3-wheel &&\
    rm -rf /var/lib/apt/lists/* || :

WORKDIR /app

thomas-riccardi

Local and Remote metadata are synchronized, no sync needed.
Last full backup date: Wed Dec 14 02:45:44 2016
No signature chain for the requested time.  Using oldest available chain, starting at time Wed Dec 14 02:45:44 2016.
Wed Nov 30 17:24:55 2016 .
Thu Sep 15 18:29:12 2016 home
Thu Dec  8 20:12:07 2016 home/user
Fri Dec 18 16:24:55 2015 home/user/foo
Fri Dec 18 16:24:55 2015 home/user/foo/bar
Mon Dec 21 12:08:56 2015 home/user/foo/bar/file1
Mon Dec 21 12:08:57 2015 home/user/foo/bar/file2

thomas-riccardi

var http = require('http');

var timeout = 100;

var port = 3000;


console.log('Test HTTP Server with timeout on Server, Request, Response & socket destroy: unexpected timeout');

var server = http.createServer(function(req, res) {

thomas-riccardi

var http = require('http');

var mode;
mode = 'requestTimeout';
// mode = 'responseTimeout';
// mode = 'serverTimeout';
// mode = 'serverTimeoutExternal';

var timeout = 100;