Skip to content

Instantly share code, notes, and snippets.

View messa's full-sized avatar

Petr Messner messa

View GitHub Profile
#!/usr/bin/env python3
from argparse import ArgumentParser
from asyncio import run, get_running_loop, sleep, create_task
from logging import getLogger
from pathlib import Path
from dnslib import DNSRecord, DNSHeader, DNSQuestion, RR, A
logger = getLogger(Path(__file__).with_suffix('').name)
#!/usr/bin/env python3
from argparse import ArgumentParser
from pathlib import Path
def replace_line(path, line_number, text):
if isinstance(text, str):
text = text.encode()
assert isinstance(text, bytes)
#!/usr/bin/env python3
import asyncio
import logging
from pprint import pprint
from reprlib import repr as smart_repr
import requests
logger = logging.getLogger(__name__)
#!/usr/bin/env python3
from aiohttp import ClientSession
import asyncio
import logging
from pprint import pprint
from reprlib import repr as smart_repr
logger = logging.getLogger(__name__)
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
from datetime import date, datetime, timedelta
def main():
events = [
ZakladniInterval(dt('2020-01-01'), dt('2030-01-01')),
Prodlouzeni(id=222, roky=3),
Zruseni(id=333, zrusit_id=222),
Zruseni(id=444, zrusit_id=333),
Zruseni(id=555, zrusit_id=444),
#include <cstdio>
#include <cstdint>
int main() {
int size = 10;
void *ptr = (void*) 1000;
unsigned *ptr2 = (unsigned*) ptr + size;
printf("ptr: %lu ptr2: %lu \n", (uintptr_t) ptr, (uintptr_t) ptr2);
return 0;
}
from aiohttp import ClientSession
from asyncio import run, gather, create_task
url_template = 'https://jsonplaceholder.typicode.com/posts/{post_id}'
worker_count = 10
async def main():
post_ids = list(range(1, 101))
titles = {}
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@messa
messa / aiohttp_request_id_logging.py
Last active March 17, 2021 03:52
Aiohttp request_id logging
# BTW. I have created a library for this: https://github.com/messa/aiohttp-request-id-logging
from aiohttp import web
from aiohttp.web_log import AccessLogger
import asyncio
from asyncio import CancelledError
from contextvars import ContextVar
import logging
import os
import secrets