ARMmbed
/
mbed-os
mirror of https://github.com/ARMmbed/mbed-os.git
1
0
Fork 0
Code Issues Projects Releases Wiki Activity

Fixed whitespace

pull/5587/head
Maciej Rogozinski 2017-11-27 09:54:09 +01:00
parent c721ed8966
commit c08e0f51ec
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
rtos/Thread.cpp
View File

@ -131,7 +131,7 @@ osStatus Thread::terminate() {
_finished = true; _finished = true;
// if local_id == 0 Thread was not started in first place // if local_id == 0 Thread was not started in first place
// and does not have to be terminated // and does not have to be terminated
if(local_id != 0) { if (local_id != 0) {
ret = osThreadTerminate(local_id); ret = osThreadTerminate(local_id);
} }
} }