Diff: putty.h

Revision:

2:c696dfd53eeb

Parent:

1:dc21a6fce3af

Child:

5:8aa72ee456fc

--- a/putty.h	Mon Jan 08 18:46:57 2018 +0000
+++ b/putty.h	Tue Jan 09 11:26:15 2018 +0000
@@ -275,28 +275,27 @@
 void putty_write ()
 {
     int count = 0;
-            int wcount = 0;
-            while (user_command[wcount]!= ' ')
-            {
-                user_command[count] = pc.getc();
-                pc.putc(user_command[count]);
-                count++;
-                wcount = count -1;
-            }
-            int count2 = 0;
-            int wcount2 = 0;
-            while(user_command2[wcount2]!= '\r')
-            {
-                user_command2[count2] = pc.getc();
-                pc.putc(user_command2[count2]);
-                count2++;
-                wcount2 = count2 -1;
-            }
-            
-            
-            pc.printf("you typed: %s %s\n\r",user_command,user_command2);
-            selection();
-            clear();
-            clear2();  
-            
+    int wcount = 0;
+    while (user_command[wcount]!= ' ')
+    {
+        user_command[count] = pc.getc();
+        pc.putc(user_command[count]);
+        count++;
+        wcount = count -1;
+    }
+    int count2 = 0;
+    int wcount2 = 0;
+    while(user_command2[wcount2]!= '\r')
+    {
+        user_command2[count2] = pc.getc();
+        pc.putc(user_command2[count2]);
+        count2++;
+        wcount2 = count2 -1;
+    }
+    
+    pc.printf("you typed: %s %s\n\r",user_command,user_command2);
+    selection();
+    clear();
+    clear2();  
+    
 }
\ No newline at end of file