2017-07-06 18:34:31 +02:00
|
|
|
/// <reference path="../node_modules/pxt-core/typings/globals/node/index.d.ts"/>
|
|
|
|
/// <reference path="../node_modules/pxt-core/built/pxtlib.d.ts" />
|
|
|
|
|
|
|
|
require("./editor")
|
|
|
|
|
|
|
|
declare namespace pxt.editor {
|
2017-07-09 11:19:14 +02:00
|
|
|
function deployCoreAsync(resp: pxtc.CompileResult, disconnect?: boolean): Promise<void>;
|
2017-07-06 18:34:31 +02:00
|
|
|
}
|
|
|
|
|
|
|
|
export function deployCoreAsync(resp: pxtc.CompileResult) {
|
2017-07-09 11:19:14 +02:00
|
|
|
return pxt.editor.deployCoreAsync(resp, process.env["PXT_SERIAL"] ? false : true)
|
2017-07-06 18:34:31 +02:00
|
|
|
}
|