window.EXPORT_URL='/export';//This points to ExportProxyServlet which uses the local export server at port 8000.
window.DRAW_MATH_URL='math';
window.DRAWIO_CONFIG=null;//Replace with your custom draw.io configurations. For more details, https://desk.draw.io/support/solutions/articles/16000058316