Sloppy but pretty much a non-issue.
One) Can you please provide technical citations to support this? OTP and PKI are very different technology, and the only way I can make sense of your statement is to guess that the OTP is actually a one-time-password (not a one-time pad) used to initialize the user's PKI account.
Two) If the server is leaking data the user authentication is rendered pretty much irrelevant - and PKI with a one-time initialization code would be used for authentication. PKI may also secure the connection, e.g., using SSL/TLS, but it seems that in this case the server was being most dumb - even if my connection were secured using TLS and the best authentication in the world, it seems I would be able to get your data. Which I am sure you wouldn't want. Nor would you be much mollified by knowing exactly who it was that compromised you.
1) Log into a site on one computer
2) In the javascript console (tools->developer tools) type 'document.cookie'
3) On a separate computer visit the same site but don't log in. Open the javascript console.
4) Paste in the cookie, i.e document.cookie="keyofcookie=valueofcookie"
5) See if your authenticated using the account you 'stole' the cookie from without actually having to authenticate on the second computer
(Rather then using two computers, you could use two different browsers on the same computer)
Nowhere here was PKI used.
One way to mitigate this type of attack is to store the users IP address server side and detect if they change IPs during the same session.