mirror of
https://github.com/pgadmin-org/pgadmin4.git
synced 2026-10-12 08:04:50 -05:00
Fix merge error.
This commit is contained in:
1 parent
b022e5d347
commit
1db7d968e2
1 file changed
+3
-3
@@ -95,8 +95,8 @@ int main(int argc, char * argv[])
|
||||
return app.exec();
|
||||
}
|
||||
|
||||
<<<<<<< HEAD
|
||||
=======
|
||||
|
||||
// Ping the application server to see if it's alive
|
||||
bool PingServer(QUrl url)
|
||||
{
|
||||
QNetworkAccessManager manager;
|
||||
@@ -136,4 +136,4 @@ bool PingServer(QUrl url)
|
||||
|
||||
return true;
|
||||
}
|
||||
>>>>>>> Have the runtime check in a loop to see if the app server is up before
|
||||
|
||||
Reference in new issue
Block a user