aardio将html转为pdf文件

直接开干，上代码

import process;
import wkhtmltox;
import console;
// 经测试，javascript(首选）,java,csharp(要以分号结尾才会变) 最接近aar风格,
console.setTitle("打印日志")

var pdf = wkhtmltox(
    "http://ide.update.aardio.com/log/"
    , "~\help\update-log.pdf"
)


//全局设置
pdf.global.size.pageSize = "A4"

pdf.global.margin = {
    top = "1cm",
    bottom = "1cm",
    left = "1cm",
    right = "1cm"
}
//对象设置：页眉
pdf.object.header = {
    fontSize = 6,
    fontName = "微软雅黑",
    spacing = 2.0,
    right = "更 新 日 志",
}
//对象设置：页脚
pdf.object.footer = {
    fontSize = 5,
    fontName = "Cascadia Code",
    spacing = 2.0,
    //left = "[page]/[topage]",    
    right ="[page]/[topage]" 
}

//回调函数
pdf.onChanged = function(ctr,val){
    var msg = {
        "Loading pages",
        "Counting pages",
        "Resolving links",
        "Loading headers and footers",
        "Printing pages"
    }
    if(val==100) table.remove(msg)
    console.showLoading( string.format(" %s %s%%", msg[1], val) );  
}

pdf.onFinished = function(ctr, val){
    console.log('Convert pdf done.')
}

//转换
var ret = pdf.convert()
if(ret!=1) console.log("Convert pdf failed!")
process.execute("~\help\update-log.pdf");
console.pause()