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.
pull/11/head
Paul Sokolovsky 2014-05-03 23:04:30 +03:00
rodzic 4071bb5e74
commit 0b5ca354e2
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):