# One-off extractor
from pathlib import Path

src = Path("basis14.py").read_text(encoding="utf-8").splitlines()
a, b = 10302, 10490
chunks = src[a - 1 : b]
header = '''# -*- coding: utf-8 -*-
"""Gemeinsame Nachrichten-Poll- und Popup-Helfer fuer Office- und Chat-Host."""
from __future__ import annotations

import threading
import time

import requests


class EmpfangHostPollMixin:
'''
Path("aza_empfang_host_poll.py").write_text(header + "\n".join(chunks) + "\n", encoding="utf-8")
print("poll mixin", len(chunks), "lines")