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

Merge pull request #8052 from kjbracey-arm/filebase_default 

FileBase: Fix unsetting of default when destroyed
pull/8156/head
Martin Kojtal 2018-09-17 14:47:40 +02:00 committed by GitHub
parent 8604f80a8e eaddf0a160
commit 492c400386
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
platform/FileBase.cpp
View File

@ -57,7 +57,7 @@ FileBase::~FileBase()
}
if (_default == this) {
_default == NULL;
_default = NULL;
}
_mutex->unlock();