Skip to content

Conversation

remyzorg
Copy link

@remyzorg remyzorg commented May 3, 2018

No description provided.

@remyzorg remyzorg changed the title change reload behavior to use current url Change reload behavior to use current url May 3, 2018
@remyzorg remyzorg added the WIP label May 3, 2018
@remyzorg
Copy link
Author

remyzorg commented May 3, 2018

It seems my pull request breaks some reloads... So we should not merge this now. I'll work on it further.

@jrochel jrochel force-pushed the master branch 2 times, most recently from 18b43bd to e093b83 Compare January 17, 2019 09:33
@balat
Copy link
Member

balat commented Jun 28, 2019

I think this is hazardous as it breaks Eliom's service logic.
I would prefer to understand first in which cases current solution does not work.
We can probably fix them ...

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants