IDataSourceProducer producer = DataSourceProducerProvider
.getProducer(TangoDataSourceFactory.SOURCE_PRODUCER_ID);
// Do not supporte the refreshing service under 1000 ms
if (refreshTime > 1000) {
if (producer instanceof AbstractRefreshingManager<?>) {
((AbstractRefreshingManager<?>) producer).setDefaultRefreshingStrategy(new PolledRefreshingStrategy(
refreshTime));
}
}
notifyListeners(UIPreferenceEventType.REFRESHTIME_CHANGED);