Jocelyn Fiat 42be0b2a4e Use HTTP_HEADER instead of WSF_HEADER ...

(WSF_HEADER is kept for convenience and existing code)

2011-11-25 15:53:15 +01:00

..

app

Use HTTP_HEADER instead of WSF_HEADER

2011-11-25 15:53:15 +01:00

gateway

Move "rest" library under "draft/..." since it is more an experiment rather than a real REST library

2011-11-23 15:18:35 +01:00

handler

Move "rest" library under "draft/..." since it is more an experiment rather than a real REST library

2011-11-23 15:18:35 +01:00

app_server.e

Use HTTP_HEADER instead of WSF_HEADER

2011-11-25 15:53:15 +01:00