Skip to content
[Jenkins]Jenkins
log in

Changes

Summary

  1. service.servlet: add filter for customizable CORS header (details)
Commit 762def2575e6184610b51dc2c5777d83be7725df by Antonio Garcia-Dominguez
service.servlet: add filter for customizable CORS header
The file was addedserver/plugins/org.eclipse.hawk.service.servlet/src/org/eclipse/hawk/service/servlet/CrossOriginFilter.java
The file was modified server/plugins/org.eclipse.hawk.service.servlet/plugin.xml