(8.0.z) Encode prefix in data source pool name

If I added a prefix in the datasource pool name then I will be getting error when trying to view datasource in JBoss Console.

example: <datasource jndi-name="java:jboss/datasources/ExampleDS" pool-name="java/ExampleDS" enabled="true" use-java-context="true" statistics-enabled="true">

pool-name=prefix/pool_name

I am getting the below errors in different browsers:

Chrome browser:
(TypeError) : Cannot read properties of undefined (reading 'replace')

Firefox browser:
(TypeError) : r0d(...) is undefined