Pubnub communication for ESP32

[walt22]

Hello,
I already can control ESP8266 with Amazon Alexa, which works very well. Implementation has been done with the
Arduino-IDE and the Pubnub driver. (Pubnub is a streaming service, which can communicate with Alexa Skill Kit/Lambda)

Now it should run on ESP32 too. For this I have installed the ESP32 core for the Arduino-IDE.
The ESP8266 version compiles well, but I get the following error message during run time:
netconn_gethostbyname: invalid name

Any experience with Pubnub on ESP32?
Is there a special driver available?
What can I do in order to solve this problem?
Any hint would be very helpful.
Best regards
Walter

[walt22]

Solved!!!

Hello,
The problem has been solved. The first test has been made with Arduino-IDE/ESP32-core on an Ubuntu platform.
Today, I have insalled the whole stuff on Windows 7. And the Pubnub program has run immediately.

Expressif did a very good job with the development of ESP32-Core. One can develop programs for ESP8266 AND ESP32 with just
minor differences. Many thanks for that.

Best regards
Walter