pxt-ev3/cmds/cmds.ts

13 lines
446 B
TypeScript
Raw Normal View History

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
}