cfe/main/cfe_console.c

268     *  console_write(buffer,length)
281 int console_write(unsigned char *buffer,int length)
360 	console_write((unsigned char *) str,p-str);
361 	console_write((unsigned char *)"\r\n",2);
367     console_write((unsigned char *) str, len);
400     if (prompt && *prompt) console_write((unsigned char *)prompt,strlen(prompt));
411 	    if (prompt && *prompt) console_write((unsigned char *)prompt,strlen(prompt));
412 	    console_write((unsigned char *)str,idx);
440 		console_write((unsigned char *)"^C\r\n",4);
448 		    console_write((unsigned char *)"\b \b",3);
454 		    console_write((unsigned char *)"\b \b",3);
459 		console_write((unsigned char *)"\r\n",2);
467 			console_write((unsigned char *)&ch,1);
801     for (t = 0; t < n; t++) console_write((unsigned char *)"\b",1);
808     for (t = 0; t < n; t++) console_write((unsigned char *)" ",1);
809     for (t = 0; t < n; t++) console_write((unsigned char *)"\b",1);
815     console_write((unsigned char *)"\033[K",3);
820     console_write((unsigned char *)"\r\n",2);
863     if (prompt && *prompt) console_write((unsigned char *)prompt,strlen(prompt));
864     console_write((unsigned char *)str,idx);
875 	    if (prompt && *prompt) console_write((unsigned char *)prompt,strlen(prompt));
876 	    console_write((unsigned char *)str,idx);
904 		console_write((unsigned char *)"^C\r\n",4);
916 		    console_write((unsigned char *)"\b",1);
919 			console_write((unsigned char *)&str[idx],len-idx);
934 		    console_write((unsigned char *)&str[idx],len-idx);
951 		    console_write((unsigned char *)&str[idx],1);
962 		if (len-idx > 0) console_write((unsigned char *)&str[idx],len-idx);
988 		console_write((unsigned char *)&str[idx],len-idx);
996 		console_write((unsigned char *)prompt,strlen(prompt));
997 		console_write((unsigned char *)str,len);
1026 		console_write((unsigned char *)str,len);
1041 		console_write((unsigned char *)str,len);
1064 		    console_write((unsigned char *)str,len);
1082 		    console_write((unsigned char *)str,len);
1099 			    console_write((unsigned char *)&str[idx],len-idx);