kopia lustrzana https://github.com/hoglet67/RGBtoHDMI
Fix capture_id not correct after profile change
rodzic
6c339647f9
commit
ab870abccd
|
@ -198,9 +198,9 @@ static void initialize_capture_id(char * path) {
|
|||
|
||||
// Check if already initialized
|
||||
// TODO: This would fail if cards were swapped live...
|
||||
if (capture_id >= 0) {
|
||||
return;
|
||||
}
|
||||
//if (capture_id >= 0) { // doesn't work because of different folders for different profiles
|
||||
// return;
|
||||
//}
|
||||
|
||||
// Open root directory
|
||||
result = f_opendir(&dir, path);
|
||||
|
|
Ładowanie…
Reference in New Issue