Ben Vanik
|
c6f0ce7a1e
|
Enabling microprofile webserver and adding a timeout.
|
2015-01-03 01:06:19 -08:00 |
Ben Vanik
|
aa22d07caf
|
Super slow MicroProfile GL UI.
|
2015-01-02 17:26:02 -08:00 |
Ben Vanik
|
7629c0f4d2
|
Latest microprofiler in headless mode.
|
2015-01-02 10:37:58 -08:00 |
Ben Vanik
|
6c92e6a5c5
|
Increasing microprofile stack size, as some of these trees are deep.
|
2014-05-30 11:44:24 -07:00 |
Ben Vanik
|
cd56c30334
|
Fixing warnings in microprofile.
|
2014-05-27 22:54:52 -07:00 |
Ben Vanik
|
f3f9d93017
|
Adding microprofile to third_party.
|
2014-05-27 19:38:47 -07:00 |