修改编译播放变快

ykxie
2 parents 4658343c 5f594acf
Showing 1 changed file with 28 additions and 1 deletions
src/js/gbreplayer.js
@@ -1036,6 +1036,25 @@ $(function(){
 	 			var pauseState = $('#pause').data('pause');
 	 			if(pauseState == 1 && _role == 0){
 	 				GBCodePlayBack.record_pause_time = new Date().getTime();  // 暂停的时间
+		 			var recordobj = {
+						intervaltime: GBCodePlayBack.record_pause_time - GBCodePlayBack.record_startime,
+						editor: 'html',
+						changeobj: {
+							from:{
+								ch: 0,
+								line: 0,
+							},
+							text: '',
+							to:{
+								ch: 0,
+								line: 0,
+							}
+						},
+						trigger: 0,
+						playTime: 0
+					};
+					GBCodePlayBack.records.push(recordobj);
+					console.log(GBCodePlayBack.records)
  
 	 				Hourglass.pauseTimer();	// 暂停计时器
 	 				recorder.pause();	// 音频暂停
@@ -1387,7 +1406,8 @@ $(function(){
 				editor: editor,
 				changeobj: changeobj,
 				trigger: 0,
-				playTime: 0
+				playTime: 0,
+				currenttime: currenttime
 			};
 			GBCodePlayBack.records.push(recordobj);			
 			GBCodePlayBack.record_startime = currenttime; //设定起始时间
@@ -1550,6 +1570,12 @@ $(function(){
 	    var data = $(this).attr('data');
 	    var seconds = 0;
 	    $("#countdown").show();
+	    var resultData = {
+			output: '',
+			stderr: '',
+			cmpinfo: '',
+			result: 1
+		};
 	    if(data == 1){
 	    	$("#countdown").find('img').attr('src', 'img/ready-go.gif');
 	    	$("#countdown").find('img').load(function(){
@@ -1558,6 +1584,7 @@ $(function(){
 	    		    if(seconds == 2){
 	    		    	$("#countdown").hide();
 	    		    	startReacoder();
+	    		    	compileResult(resultData)
 	    		    }
 	    		},1000);
 	    	})