asyncio_micro: Rename from asyncio.

As this is not compliant with asyncio API, can't be called asyncio, and
"micro" is just good moniker for what it's intended to be.
asyncio
Paul Sokolovsky 2014-05-03 23:04:30 +03:00
rodzic 6347de1537
commit a728368a08
3 zmienionych plików z 2 dodań i 2 usunięć

Wyświetl plik

@ -1,4 +1,4 @@
import asyncio
import asyncio_micro as asyncio
import time

Wyświetl plik

@ -1,4 +1,4 @@
import asyncio
import asyncio_micro as asyncio
@asyncio.coroutine
def print_http_headers(url):