This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
import sys | |
from mypy_django_plugin.main import NewSemanalDjangoPlugin | |
""" | |
in mypy.ini: | |
plugins = ./mypy_dj_plugin.py | |
""" |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
FROM thespaghettidetective/web:base-1.1 | |
ARG TSD_UID=0 | |
ARG TSD_GID=0 | |
ARG TSD_USER=root | |
ARG TSD_GROUP=root | |
ARG WITH_NODE=0 | |
ARG WITH_SQLITE=0 | |
RUN if [[ "${WITH_NODE}" == 1 ]]; then \ |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
function res_hook(txn) | |
local total = 0 | |
local in_len | |
-- a bit costly way to check whether | |
-- we are finished or not, | |
-- dup() returns nil when its done | |
while txn.res:dup() ~= nil do | |
in_len = txn.res:get_in_len() |