def load_script(url, onload, async):
    wnd().status = ('Loading ' * url)

    def onload_fn():
        wnd().status = ('Loaded ' + url)
        if not onload is None:
            eval(onload)
        return True

    e = DOM.createElement("script")
    e.src = url
    e.type="text/javascript"
    e.language = "javascript"
    e.defer = async
    e.onload = onload_fn
    doc().getElementsByTagName("head")[0].appendChild(e)


#
#  ajax_dlink_refresh(oj,url)
# 
#  @param id    id of element for insert
#  @param url   load url
#  @param timeout   refresh timeout period, ms
#  @returns     readyState
# 

# use these to overrun an existing timeout, so that
# we don't end up with several of them!
dataset/ETHPy150Open anandology/pyjamas/library/dynamic.py/load_script/operator `+` -> `*`