I've enabled GL debug logging in my app, and getting messages such as:
GTT mapping a busy miptree BO stalled and took 0,147 ms
Initially I took the numeral to mean a sub-millisecond delay. Since there's a 0 before the comma, I didn't consider the interpretation "147ms", but this page says:
Don’t use commas in decimals.
... so it can't be a decimal fraction either.
So which is the correct interpretation?
Note: I use Ubuntu Linux and my regional settings are as follows:
As you can see, a period is set to used to separate the fractional part of the number.