Indeed, restart the Device server is a sure way to check.
Did it work for you Peipei?
- Philippe