} else{
sList = [input];
}
- console.log(sList);
+ //console.log(sList);
this.sentenceList.push([srctype]);
this.sentenceList = this.sentenceList.concat(sList);
},
break;
}
//
+ this.env.memory.dbInfo.readLineCount++;
this.appendHistory(retv);
return retv;
},