-
Georges Racinet authored
This is more direct than `webdriver_retrieve()`, with the usual benefits of API methods: performance and stability In this particular case, we were relying on the full session cookie to be accepted in the API, which is not guaranteed to be acceptable in the long run. At this point `webdriver_retrieve()` is not called any more, but we're not removing it right away.
f9fe6fbf54b7