>> Over the past few days, I’ve added multiple new ports. However, while such >> activity has been quickly picked up in the past - typically within an hour >> or two - that’s no longer occurring. > > Ideally the refresh happens every 10 minutes. The footer shows the time when > the last update took place. > >> >> Is there a sync/refresh process that is currently broken? > > Yes, thanks for reporting. We had a limit of 100 characters in portname and > portdir, looks like some port with a longer name was added because the logs > show me the same error - working on a fix.
Ah, that explains it; looks like the last successful refresh was four days ago. Thanks Arjun!
