element datetimepicker

类型：datetimerange ,返回结果是一个数组。
查询前可以在前端，也可以在后端处理下数据。
我这里选择前端处理数据。

	if (this.crud.query.controlStartTimeStr) {
        this.crud.query.controlStartTime1 = new Date(this.crud.query.controlStartTimeStr[0])
        this.crud.query.controlStartTime2 = new Date(this.crud.query.controlStartTimeStr[1])
      } else {
        this.crud.query.controlStartTime1 = ''
        this.crud.query.controlStartTime2 = ''
      }

注意：一定要置空！

这种类型情况下，如果后台java是通过timeStamp对象来接受参数的，就不用改。
什时候java后端需要修改呢？

@JsonFormat(pattern=”yyyy-MM-dd HH:mm:ss”)

使用情况：结果数据从后台传到前台，前台没办法解析（多半是展示时不友好）需要做下操作。

@DateTimeFormat(pattern=”yyyy-MM-dd HH:mm:ss”)
可将前台的字符串日期转为java中的Date对象。注意字符串的格式要和pattern中的格式匹配上！

另外：js和java中都可以将 【中国标准时间】 转为时间戳，如下：
new Date(【中国标准时间】) ----》 时间戳

数据库存的是字符串，06:00-07:00
r页面上回显处理如下：

      if (this.form.serverPeriod) {
        const array_new = new Array()
        const array = this.form.serverPeriod.split('-')
        array_new.push(new Date('1996-01-01 ' + array[0] + ':00'))
        array_new.push(new Date('1996-01-01 ' + array[1] + ':00'))
        this.form.serverPeriodStr = []
        this.form.serverPeriodStr = array_new
        console.log(this.form.serverPeriodStr)
      }